Benutzer-Werkzeuge

Webseiten-Werkzeuge


tools:git

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung
tools:git [2017/05/08 22:41] – [Befehle] admintools:git [2018/03/08 20:34] – git rm --cached admin
Zeile 15: Zeile 15:
 git add korrigierte-datei.php git add korrigierte-datei.php
 git commit --amend git commit --amend
 +</code>
 +
 +==== Datei aus Index entfernen, ohne sie zu löschen ====
 +
 +Hiermit wird eine Datei aus dem git Repository entfernt, verbleibt aber als Datei am Speicherort. Zu beachten ist, dass sie dann ggf. auch auf externen Repositories (remote) verbleibt.
 +
 +<code>
 +git rm --cached example.txt 
 </code> </code>
 ===== Fehlerbehebung ===== ===== Fehlerbehebung =====
tools/git.txt · Zuletzt geändert: 2023/11/14 18:06 von admin