04_GitHub
PDF-Dokumente
| Dateiname | Aktion |
|---|---|
| PDFFolie_Fenster.pdf | Öffnen |
| PDFFolie_GitHub.pdf | Öffnen |
| PDFFolie_Student.pdf | Öffnen |
| PDFUebung_Computer.pdf | Öffnen |
| PDFUebung_Labor.pdf | Öffnen |
| PDFUebung_Wohnung.pdf | Öffnen |
Videos
| Dateiname | Aktion |
|---|---|
| VIDEOVideo_ClassRoom_E | Abspielen |
| VIDEOVideo_Fenster_D | Abspielen |
| VIDEOVideo_Student_D | Abspielen |
| VIDEOVideo_Urlaub_D | Abspielen |
Lernmaterialien
github - single user
user
Legen Sie einen neuen Benutzer auf github.com an (Sign up).
Verwenden Sie dazu die eMail-Adresse der Schule.
Aufbau
github.com … Server
BueJ … Client
Das Repository entspricht einem Projekt in BlueJ.
Repository
Das Projekt wurde lokal entwickelt und getestet.
Ein neues Repository wird angelegt.
Legt den eindeutigen Namen vom Repository fest.
Das ist die ganze URI zum Repository.
Das Repository ist derzeit noch leer.
https://github.com/griesmayer/Student.git
Token anlegen
Auf das User-Symbol (Foto) klicken.
Settings auswählen
Developer settings auswählen
Tokens (classic)
Generate new token (classic)
Name, Gültigkeit und Rechte des tokens festlegen.
Generate token
Kopieren des tokens
Das Repository auf github ist immer noch leer. Die URI kopieren.
First commit
Share wählen
URI ausfüllen
User ausfüllen
Token hineinkopieren
Testen der connection.
Upload ist erledigt.
Check des initial commits
Update Projekt
Änderung des Codes und Testen!!!
Commit und Push
Commit message dokumentiert die Änderungen.
Push ladet das Projekt am Server hoch.
Check des Uploads.
github - multi user
ablauf
Ausgangslage beide user thomas und hansi
haben das Repository am Laptop.
hansi ändert die Eigenschaften
hansi commit/push auf den github Server (OK)
thomas ändert die Eigenschaften
thomas commit/push auf den github Server (Fehler)
thomas merge vom github Server mit der lokalen Kopie (OK)
thomas erstellt eine finale Version
thomas commit/push auf den github Server (OK)
repository
Ein neues Repository wird erstellt. Keine files hinzufügen!
Als Ergebnis bekommen wir den Namen des Repositories auf github
User hinzufügen
Einladung von einem anderen User hansi zum Repository
Der User hansi muss die Einladung (per eMail) annehmen.
Checkout
Für den Zugriff auf das Repository müssen beide User einen token anlegen.
Thomas legt ein neues Projekt an und pushed das Projekt.
Hansi lädt das Projekt vom github Server.
Erste Änderung OK
Hansi ändert das Projekt.
Hansi commited die Arbeit. Er ist fertig!
Zweite Änderung NICHT OK
Thomas macht ebenfalls Änderungen! Thomas hat keine Ahnung von den Änderungen vom Hansi.
Thomas will commiten und pushen.
Der Commit schlägt fehl, da mein lokales Repository nicht mit der Version auf dem github Server übereinstimmt.
Merge
Nun muss Thomas das Projekt mergen.
Das ist die merge Version (beide Versionen!).
finale Version
Thomas erstellt eine finale Version.
Thomas commit/push der finalen Version
check github
Man kann am github Server die Änderungen nachprüfen.
