Suppression de fichiers dans Git
Lorsque l'on travaille avec Git, on ne peut pas supprimer manuellement
les fichiers du dossier du projet. Si nous essayons de
le faire, alors après une vérification
avec la commande status, il sera affiché
dans la catégorie 'Changes not staged for commit'
comme un fichier modifié mais non indexé.
Pour supprimer définitivement le fichier dont nous n'avons pas besoin, il faut
utiliser la commande git rm :
git rm text.txt
Si après l'exécution de cette commande vous vérifiez l'état des fichiers dans le dépôt, le message suivant sera affiché :
deleted: text.txt
Supprimez correctement le fichier du dossier de votre projet.