Gitpod

Gitpod ist ein cloudbasiertes Tool, welches die Bereitstellung von Entwicklungsumgebungen bietet. Diese können an die Studenten per URL Link versendet werden. Zusätzlich bietet das Tool die Möglichkeit für Pair Programming.

Teams

Isaac Newton

Team Röntgen

Fakten

• lässt sich selbst hosten (URZ)
• 0.9$ pro Student pro Monat

Verwendungen

Im Übungsgruppenzusammenhang: Ausgehend von einem gemeinsam erstellten Repository auf Github, von zwei Gruppenmitgliedern und dem Tutor, kann Gitpod zum erleichterten Umgang mit der Aufgabenbearbeitung beitragen. Zum einen können die Gruppenmitglieder gleichzeitig an einer Datei arbeiten. Zum anderen ist die Kontrolle durch den Tutor erleichtert, da keine Probleme mit unterschiedlichen Environments mehr auftreten.

Vorteile

• einfaches laden von github/gitlab repositories, aber auch ohne möglich
• Studenten können direkt mit dem Programmieren loslegen und müssen nicht erst nötige Software installieren
• Aufgaben können direkt als Workspace bereitgestellt und wieder abgegeben werden
• Studenten können gemeinsam programmieren
• Tutoren können direkt die Lösung bewerten und müssen nicht erst versuchen, das Programm bei sich lokal zum Laufen zu bekommen
• basiert auf Visual Studio Code, sehr intuitiv
• wird das Tool in mehreren Vorlesungen verwendet, relativieren sich die Kosten

Nachteile

• Cloud-Infrastruktur muss bereitgestellt werden
• nicht für Jupyter Notebook ausgelegt, gibt aber ein workaround https://github.com/jins-tkomoda/dash-and-jupyter-notebook-with-gitpod, muss nur einmal für alle aufgesetzt werden
• kostet

Benötigte/Verwendete Hardware

• weiß ich nicht genau, URZ bietet aber schon diverse Cloudservices an

Anleitungen

Verwendung im Zusammenhang mit Github/Gitlab

• Accounterstellung: Benötigt nur die Verknüpfung mit dem Github/Gitlab Account
• Workspace aus repository erstellen: Um ein Workspace mit einem repository zu verknüpfen benötigt man lediglich die standardmäßige git url, welche man auch sonst zum Klonen verwendet. Zum Starten des Workspaces gibt man das Prefix 'gitpod.io#' und die git url in seinem Lieblingsbrowser ein. Anschließend wird man direkt an gitpod weitergeleitet und der Workspace wird erstellt.
• Snapshot eines Workspaces: Die Erstellung eines Snapshots kann mehrere Gründe haben. Man möchte den Studierenden einen stationären Zustand des repositories als Übungsaufgabe bereit stellen oder die Studierenden geben ihre Lösung als Workspace ab. Auch können Snapshots zum Lösen von Bugs verwendet werden. Um ein Snapshot zu erstellen wählt man rechts oben sein Avatar aus und klickt auf Share Workspace Snapshot. Anschließend erhält man ein URL-Link, welchen man teilen kann.
• Pair Programming: Damit Studierende und Tutoren gleichzeitig programmieren können, als würden sie an einem gemeinsamen Laptop sitzen, kann man seinen Workspace sharen. Hierfür geht man auf sein Avatar und klickt auf Share Runnig Workspace. Auch hier erhält man wieder eine URL zum teilen.

Konfigurieren des Workspaces

• Docker: Zwar ist der standardmäßige Workspace mit den meisten Tools (gcc, cmake, python, ...) ausgestattet, so kann es dennoch besonderere Anforderungen geben. Da der Workspace als Dockercontainer betrieben wird, gibt es auch die Möglichkeit ein eigenes Dockerfile dem Workspace beizufügen.

Weblinks

https://gitpod.io