LaTeX Dokumente mit GitLab CI bauen

Wer regelmäßig LaTeX Dokumente schreibt und nicht auf jedem Gerät eine vollständige Tex Live Installation bereithalten will, kann seine Dokumente bequem mittels GitLab CI und einem entsprechenden Docker Image bauen lassen. Damit sind Änderungen nicht nur am lokalen PC, sondern auch in der Web-Oberfläche und am Smartphone einfach durchzuführen und das Ergebnis kann direkt als PDF-Datei betrachtet und heruntergeladen werden.

Weiterlesen »

Git: Repository aufräumen und Speicherplatz freigeben

Wer oft und regelmäßig Änderungen an seinen mittles Git versionierten Projekten committed, hat meist nach kurzer Zeit ein großes .git-Verzeichnis in seinem Projektordner. Aber mittels eines simplen Befehls können die vorhandenen Daten schnell aufgeräumt und Speicherplatz freigegeben werden.

Weiterlesen »

Maven: Javadocs generieren und mit GitHub Pages veröffentlichen

Dank der großen Vielfältigkeit und Einsetzbarkeit von Maven lassen sich ganz einfach die Javadocs eines Projekts generieren und im nächsten Schritt bei GitHub Pages zum kostenfreien Hosting hochladen.

Weiterlesen »

GitLab in einem DigitalOcean Droplet installieren

GitLab ist ein Open-Source Version Control System (VCS), ähnlich wie GitHub, aber zum Selber-Hosten und in der Community Edition ohne Einschränkungen völlig kostenfrei.
Dieses lässt sich mit einer kleinen Anpassung sehr einfach in dem kleinsten Droplet bei DigitalOcean, einem günstigen Cloud-vServer-Hoster, installieren.

Weiterlesen »

Websites kostenfrei mit GitHub Pages hosten

GitHub ist nicht nur ein guter Anbieter für kostenfreie Git-Repositories, sondern auch ein Webhoster. Mittels zwei einfacher Methoden können Sie Ihre Webseiten und Blogs kostenfrei und hochverfügbar durch GitHub Pages hosten.

Weiterlesen »

Eine Einführung in die Versionsverwaltung mit Git und GitHub

Mit einer Versionsverwaltung, bzw. einer Versionskontrolle behalten Sie jederzeit den Überblick über Änderungen am Quelltext und vereinfachen die Zusammenarbeit mit anderen Entwicklern. Sehr einfach und etabliert ist Git, welches aktuell weltweilt von tausenden Entwicklern eingesetzt wird.
Hier erhalten Sie nun eine Einführung in die Versionsverwaltung mit Git bei der Nutzung des kostenfreien Services von GitHub.

Weiterlesen »