Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- systemverwaltung:user_info:git [2017/09/05 17:21]
admin [Manage Permissions]
+++ systemverwaltung:user_info:git [2021/12/02 11:27] (aktuell)
@@ Zeile 101: / Zeile 101: @@
 Host git
   Port 22
-  ProxyCommand ssh <your username>@contact.math.uni-sb.de -W %h:22
+  ProxyCommand ssh <your_username>@contact.math.uni-sb.de -W %h:22
 </code>
 Then the previous commands should work as if you were at in the mia network.
@@ Zeile 165: / Zeile 165: @@
 Um ein lokales Repository mit den neuesten Änderungen zu aktualisieren (update), verwende man
   git pull
-in der lokalen Arbeitskopie, um die Änderungen erst herunterzuladen (fetch)((pull)) und dann mit dem lokalen Stand der Arbeit zusammenzuführen (merge).
+in der lokalen Arbeitskopie, um die Änderungen erst herunterzuladen (fetch) "pull" und dann mit dem lokalen Stand der Arbeit zusammenzuführen (merge).
 Wenn man einen anderen //Branch// mit dem aktuellen (z.B. master) zusammenführen will:
   git merge <branch>
@@ Zeile 176: / Zeile 176: @@
 Es wird empfohlen, für Software Releasestags zu verwenden. Dies ist ein bekanntes Konzept, das es schon mit SVN gab. Du kannst einen neuen Tag namens 1.0.0 mit folgendem Befehl erstellen:
-git tag 1.0.0 1b2e1d63ff
+  git tag 1.0.0 1b2e1d63ff
 b2e1d63ff steht für die ersten 10 Zeichen der Commit-Id, die du mit deinem Tag referenzieren möchtest. Du erhältst die Liste der Commit-IDs mit:
   git log

Zuletzt angesehen: