Quellcode managen mit Git und dem Raspberry Pi

© Piotr Trojanowski, 123RF

Git à la RasPi

Mit wenigen Handgriffen zum Git-Hoster: Die dezentrale Arbeitsweise von Git erleichtert in Kombination mit der Netzwerkfähigkeit des RasPi das Verwalten von Quellcode.

Als Leser dieser Zeitschrift gehören Sie zu den Menschen, die einen Rechner nicht nur zum Spielen nutzen. Vielleicht gehören Programmieren, das Erstellen von Internet-Seiten oder Texten zu Ihrem Tätigkeitsfeld. Dabei ist es sinnvoll, einen erreichten Stand zu sichern und anschließend weiterzuarbeiten. Manchmal hilft auch ein Blick in eine vorherige Version eines Codes oder Dokuments weiter. Das Versionsverwaltungsprogramm Git unterstützt Sie mit einfacher Bedienung und großem Funktionsumfang dabei, ein Git-Server vervollständigt dieses Umfeld.

Server-Zeit

Es gibt etliche Git-Hoster, zu den bekanntesten Vertretern der Szene zählen Github, Sourceforge und Gitlab. Viele ermöglichen das Anlegen eigener Repos, die Kurzform von Repository. Ein eigenes Repo kostet manchmal Geld, gelegentlich gibt es projektbezogene Einschränkungen, und möglicherweise bekommt der Hoster früher oder später sogar einen neuen Eigentümer.

Ein eigener Git-Server schafft hier Unabhängigkeit und eignet sich gut zum Sammeln von Erfahrungen. Der Raspberry Pi bietet sich als guter Server-Kandidat an: Dank seiner Netzwerkfähigkeit und des in Raspbian integrierten OpenSSH-Servers (im Folgenden als SSH-Server bezeichnet) mutiert er mit wenigen Handgriffen zu einem SSH-basierten Git-Server. Die oft bemängelte relativ geringe Bandbreite in Bezug auf Massenspeicherzugriffe spielt bei kleineren Projekten nur eine untergeordnete Rolle.

[...]

Auf RasPi-Geek.de finden Sie alle Print-Artikel, die bisher in Raspberry Pi Geek erschienen sind. Damit steht Ihnen ein gut bestücktes Archiv inklusive der Beiträge der aktuellen Ausgabe online zur Verfügung. Alle Artikel stehen 12 Monate nach der Erstveröffentlichung kostenlos zur Verfügung. Für ausgesuchte Beiträge aus den letzten sechs Ausgaben fällt eine kleine Gebühr an, für die Sie dann ein PDF des Artikels erhalten.

Diesen Artikel als PDF kaufen

Express-Kauf als PDF

Umfang: 6 Heftseiten

Preis € 0,99
(inkl. 19% MwSt.)

Raspberry Pi Geek kaufen

Einzelne Ausgabe
 
Abonnements
 
TABLET & SMARTPHONE APPS
Bald erhältlich
Get it on Google Play

Deutschland

Ähnliche Artikel

Aktuelle Ausgabe

06/2019
Home Improvement

Diese Ausgabe als PDF kaufen

Preis € 9,99
(inkl. 19% MwSt.)

Stellenmarkt

Neuigkeiten

  • Verschlungene Pfade

    Mit Schleifen, Fallunterscheidungen und Funktionen programmieren Sie komplexe Skripte auf einfache und elegante Weise.

  • Extrem genau

    Mit einem A/D-Wandler messen Sie bei Bedarf Spannungen. Der MCP3424 macht dabei konstruktionsbedingt eine gute Figur.

  • Verbindungsaufnahme

  • Süßer Wecker

    Dem RasPi fehlen sowohl eine Echtzeituhr als auch ein BIOS, ein zeitgesteuertes Wecken erfordert also Zusatzkomponenten. Hier springt der Witty Pi Mini in die Bresche, ein µHAT von UUGear.

  • Windows to go

    Das Aufsetzen zuverlässiger und sicherer Remote-Desktop-Lösungen erfordert einiges Know-how. Die RasPi-basierte Pinbox von Pintexx reduziert den Konfigurationsaufwand auf ein Minimum.

  • Prima Klima

    In Museen ist es Pflicht, zu Hause nützlich: das permanente Prüfen und zentrale Erfassen der Feuchtigkeit und Temperatur in Räumen.

  • Auf einen Blick

    Ein maßgeschneiderter Infoscreen auf RasPi-Basis mit stromsparendem E-Ink-Display zeigt Termine, Bilder, Mitteilungen und Wetterinformationen an.

  • Sanft berührt

    Mit einem RasPi und dem Controllermodul PiXtend lassen sich mühelos Roboterarme ansteuern und deren Bewegung automatisieren.

  • Popcorn-Kino

    Mit Kodi 18.0 unterstützt LibreELEC 9.0 jetzt die von vielen Streaming-Diensten genutzte DRM-Verschlüsselung. Die Integration von Netflix, Amazon und Co. erfordert allerdings Handarbeit.

  • So nah und doch so fern

    Der RasPi kommt häufig als Server oder Steuerrechner für spezielle Zwecke zum Einsatz. Mit Anydesk erhalten Sie dazu eine Steuersoftware mit grafischer Oberfläche.