Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update git exercise text #441

Merged
merged 1 commit into from
Oct 1, 2024
Merged

update git exercise text #441

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 18 additions & 16 deletions exercises-toolbox/6-git/aufgabe.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,34 +19,36 @@ github.com verwenden.
entsprechende URL ersetzen würde. Wir haben "repo" lediglich beigelegt,
damit ihr jetzt keine Accounts erstellen müsst. Später werden wir mit dem
"repo" so kommunizieren als wäre es ein externes Repository (git pull/git
push)
push).

2. Schaue dir die Dateien im Repository an. Erzeuge 2 Plots, indem du "make" in
deiner Kopie des Repositories ausführst
deiner Kopie des Repositories ausführst; weiteres zu make kommt am Ende des
Workshops.

4. Mache beliebige Änderungen an den Dateien "plot1.py" und "plot2.py" (Ändere
3. Mache beliebige Änderungen an den Dateien "plot1.py" und "plot2.py" (Ändere
z.B. die Farben der eingezeichneten Linien) und erzeuge die Plots durch
Ausführen von "make"
Ausführen von "make".

5. Führe "git status" aus, um dir anzusehen, welche Dateien du geändert hast.
4. Führe "git status" aus, um dir anzusehen, welche Dateien du geändert hast.
Führe "git diff" aus, um dir die Änderungen Zeile für Zeile anzeigen zu
lassen.

6. Füge die Änderungen zum Index hinzu (git add ...) und speichere den Index
als neuen commit in der History ab. (git commit -m "...")
5. Füge die Änderungen zum Index hinzu (git add ...) und speichere den Index
als neuen commit in der History ab (git commit -m "...").

7. Übertrage deinen commit mittels "git push" in das "repo"-Repository.
6. Übertrage deinen commit mittels "git push" in das "repo"-Repository.

8. Mache mittels "git clone" eine weitere Kopie von "repo". Diese Kopie sollte
7. Mache mittels "git clone" eine weitere Kopie von "repo". Diese Kopie sollte
deine letzten Änderungen enthalten. Prüfe mittels "git log", ob das der Fall
ist.

9. Wiederhole 4. bis 7. in der zweiten Kopie. Hier wollen wir simulieren, dass
mehrere Leute am selben Repository arbeiten.
8. Wiederhole Schritte 4. bis 7. in der zweiten Kopie. Hier wollen wir
simulieren, dass mehrere Leute am selben Repository arbeiten.

10. Immer wenn du Änderungen aus dem einen Repository mit "git push"
hochgeladen hast, kannst du sie mit "git pull" aus dem anderen
herunterladen. Teste, ob das reibungslos funktioniert.
9. Immer wenn du Änderungen aus dem einen Repository mit "git push"
hochgeladen hast, kannst du sie mit "git pull" im anderen herunterladen.
Teste, ob das reibungslos funktioniert.

11. Bonus: Versuche einen merge conflict herbeizuführen, indem du in beiden
deiner Kopien dieselbe Zeile änderst und 10. wiederholst.
10. Bonus: Versuche einen merge conflict herbeizuführen, indem du in beiden
deiner Kopien dieselbe Zeile änderst und 9. wiederholst. Kannst du den
merge conflict lösen?
Loading