git rm¶
Löschen mit git rm ..
Das Löschen von Dateien/Ordnern ist besonders zu beachten. Wenn man mit einfachem Löschen / Remove eine Datei bearbeitet, so findet dieses ja nur im Working Directory statt.
Stattdessen nutzt man git rm - hierbei wird die Datei zum Löschen im Index hinzugefügt und dadurch beim nächsten Commit aus dem Git Repository entfernt.
Anm.: quasi ein einfaches rm gefolgt von git add.
Wenn man eine Datei im Working Directory behalten möchte,
aber aus Git löschen möchte: git rm --cached
Tipp
Das ist z.B. sinnvoll, um nachträglich zu .gitignore
hinzugefügte Objekte lokal zu behalten, aber aus dem Git zu entfernen.
Für die git rm-Befehle kann man mit Wildcards arbeiten:
git rm log/\*.log # alle .log im Ordner log
git rm \*~ # alle Dateien, die mit ~ enden
Die \ sind (ggf.) wegen der Git-eigenen Dateinamen
Erweiterungsfähigkeit und sequenzieren quasi die Wildcards * nötig.