Git
Git
Eine Sammlung von nützlichen Git Befehlen.
Befehl | Kommentar |
---|---|
git reset --soft HEAD~1 |
Setzt den HEAD auf einen Commit vorher und behält die Änderungen als “uncommited” |
git reset --hard HEAD~1 |
Setzt den HEAD auf einen Commit vorher und verwirft die Änderungen |
git commit --amend --author="name <mail>" --no-edit |
Setzt den Autor des letzten Commits auf den angegebenen |
Checkout tricks
Checkout von bestimmten Dateien oder Ordner
Mit hilfe des Stichwortes spares-checkout ist es möglich vor dem pull zu definieren welche Dateien und Ordner gepullt werden sollen. Der Ablauf ist wie folgt:
git init <repo>
cd <repo>
git remote add origin <url>
git config.sparsecheckout true
Nun kann in die Datei .git/info/sparse-checkout eingetragen werden was ausgecheckt wird.
index.md
/software/terminal/git.md