Vorschau:
In der Zwischenzeit gibt es sehr viele Webdienste, die einem viele Aufgaben abnehmen, die der Lehreralltag stellt. Der Markt ist so unübersichtlich, dass man sich schnell in der Suche nach einem Dienst verlieren kann. Ich möchte hier einige Dienste vorstellen, die ich nutze und kurz zeigen, was man mit dem Service jeweils anstellen kann. Dabei stelle ich sowohl Services vor, die auf dem Server des Anbieters laufen, als auch selbst gehostete Lösungen, die also auf einem eigenen Server betrieben werden können. GitHub Als erstes ein Tool, über welches man sofort stolpert, wenn man vielleicht einen Service auf einem eigenen Server aufsetzen möchte. GitHub ist vermutlich der populärste Service um den Dienst „Git“ herum. Git ist ein Service, der vereinfacht gesprochen Änderungen im Quellcode von Software verwaltet und organisiert. das ist insbesondere dann wichtig, wenn mehrere Autoren an verschiedenen Stellen der Software arbeiten. Würde jeder mit einer lokalen Kopie arbeiten, hätte man nach kurzer Zeit unzählige Kopien des Quelltextes. Git führt diese Änderungen in einem zentralen Dokument zusammen. GitHub bietet diesen Software quasi als gehostete Lösung an. In der Grundversion ist der Dienst kostenlos. Neben der Versionsverwaltung bietet GitHub auch die Möglichkeit Wikis aufzusetzen. Gleichzeit kann man Projekte (bei GitHub „Repositorys“ genannt) verfolgen und sich mit anderen Benutzern austauschen. Ein Kernelement sind so genannte „Forks“ (Vergabelung). Wenn einem ein Projekt gefällt, sich aber in eine Richtung entwickelt, die einem nicht zusagt, kann man eine Kopie des Projekts anlegen (forken) und selbst weiter entwickeln. Die Bedeutung von GitHub auch...