Warning: include_once(/var/www/html/pmwiki-2.2.86/cookbook/soap4pmwiki/soap4pmwiki.php): failed to open stream: No such file or directory in /var/www/html/fields/dbp13/local/config.php on line 4

Warning: include_once(): Failed opening '/var/www/html/pmwiki-2.2.86/cookbook/soap4pmwiki/soap4pmwiki.php' for inclusion (include_path='.:/opt/php/lib/php') in /var/www/html/fields/dbp13/local/config.php on line 4

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/fields/dbp13/local/config.php:4) in /var/www/html/pmwiki-2.2.86/pmwiki.php on line 1250
Datenbankpraktikum SS 2013 - Allgemeines - Git

Git

Einführungsvorlesung

Hier gibt es ab ca. Minute 17 eine Einführung in die Grundlagen von GIT: Einführung in GIT.

Empfohlen wird der Centralized Workflow mit Github als zentralem Repository (siehe für die Adresse) und einzelnen Branches für einzelne Features. Der Masterbranch sollte immer funktionstüchtig sein, ein Merge sollte also erst dann durchgeführt werden, nachdem Änderungen erfolgreich getestet worden sind.

Github Adressen

Basics

git status

Zeigt den aktuellen Status an, z.B. Änderungen, die noch nicht committed worden sind.

git diff

Zeigt die Unterschiede zwischen der aktuellen und der letzten Version an, die comitted wurde.

git add .

Fügt alle geänderten Dateien hinzu.

git commit -m "<Nachricht>"

Schreibt alle geänderten Dateien fest. Statt <Nachricht> beschreibe man knapp aber hinreichend die gemachten Änderungen.

git log

Zeigt eine Liste der letzten Commits an.

Branching

git branch <branch>

Erzeugt branch <branch>.

git checkout <branch>

Checkt <branch> ins Arbeitsverzeichnis aus.

git checkout -b <branch>

Erzeugt Branch <branch> und checkt diesen gleichzeitig aus.

git branch -d <branch>

Löscht den Branch namens <branch>.

git merge <branch>

Die Commits von <branch> werden in den aktuellen Branch eingebracht.

Remote

git push <remote> <branch>

Sendet alle neuen Commits des Branches <branch> an den Branch <branch> in <remote> (in unserem Fall ist <remote> = origin).

git pull <remote> <branch>

Pulled den Branch <branch> von <remote> in den aktuellen Branch.

git push <remote> :<branch>

Löscht <branch> im <remote> Repository.

Undo

git reset --hard HEAD

Verwirft alle Änderungen, die noch nicht committed worden sind. Im Prinzip wird alles rückgängig gemacht, was ein vorheriges 'git diff' ausgibt.

git revert HEAD

Wenn man mal etwas committed hat, das man nicht hätte committen sollen, dann kann man mit diesem Befehl einen Commit erzeugen, der die letzten Änderungen wieder rückgängig macht.

Bunte Farben

git config --global color.ui auto

Macht die Status- und Diffmeldungen bunt


Page last modified on July 29, 2013, at 05:38 AM