Möchte man die lokale Revision eines Git Repositories ermitteln so reicht es in der Konsole:
git log -n 1
einzugeben. Das ganze sieht auf dem Terminal dann so aus:
commit 1c40074d28676ec996ec91f1719cff43077f15f6
Author: Example <>
Date: Tue Jan 3 09:52:23 2013 +0800
Bugfixes in example function.
Soll nur der Hash ausgeben werden so muss die Kommandozeile wie folgt aussehen:
git log -n 1 --pretty=format:"%H"
Damit bekommt man dann nur den entsprechenden Hashwert ausgegeben.
Mit wget ist der Download einer Datei einfach, da das ganze nur aus dem Befehl und der Datei besteht:
wget http://example.com/datei.zip
Bei cURL braucht es da schon etwas mehr:
curl -O http://example.com/datei.zip
Damit lädt cURL die entsprechende Datei auf die Festplatte, anstatt sie nur anzuzeigen.
Weitere Informationen gibt es unter:
http://en.wikipedia.org/wiki/CURL
Manchmal möchte man ein Git Repository von Server A auf Server B umziehen (in diesem Fall von Google Code zu Github). Das ganze ist dabei relativ unproblematisch. Zuerst wird das bestehende Repository geklont:
git clone https://code.google.com/p/cscl/
In der GitHub Oberfläche erstellen wir nun ein neues Repository (in diesem Fall mit dem Namen „CSCL“). Danach entfernen wir den alten Remote und weisen einen neuen hinzu:
git remote rm origin git remote add origin :seeseekey/CSCL.git
Mittels „git remote -v“ kann man sich die bestehenden „Remotes“ anschauen. Nachdem der neue Remote gesetzt wurden laden wir das Repository (mittels „push“) bei GitHub hoch:
git push -u origin master
Damit ist der Umzug abgeschlossen.
Weitere Informationen gibt es unter:
https://help.github.com/articles/removing-a-remote
Der Standardeditor im Terminal bei Mac OS X ist vim. Möchte man diesen nicht benutzen, so kann man den Editor ändern, indem man im Nutzerhauptverzeichnis eine „.bash_profile“ Datei anlegt (wenn diese nicht bereits vorhanden ist). In diese Datei trägt man dann folgendes ein:
export EDITOR=nano
Nachdem dem Speichern der Änderung, sowie einem Neustart ist der neue Editor aktiv.
Wer in die Verlegenheit kommt und PDFs zusammenfügen möchte, der sollte sich einmal „pdftk“ anschauen. Unter Ubuntu muss das ganze mittels:
sudo apt-get install pdftk
installiert werden. Danach kann man mehrere Dateien im Terminal nach dem Schema:
pdftk rechnung.pdf rechnung-s2.pdf output rechnung-komplett.pdf
zusammenfügen.