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

Fragen gerne an Benjamin Maier ( bg231@stud.uni-heidelberg.de )

Verwendung im Zusammenhang mit Github:

• Start Workspace: geh auf die Seite des repository und verwende den URL-prefix 'gitpod.io#'
• Teamwork: Eine Person im Team muss den Workspace starten, dann auf den avatar klicken und 'share running workspace' auswählen. Die angegebene URL muss nun dem Teampartner vermittelt werden. Dieser hat damit direkten Zutritt zu dem Workspace.

Weblinks

https://gitpod.io