Wormatia Server Update 2020

Und weiter gehst … Nach dem Relaunch der Wormatia Homepage am 11. Juli musste nun der alte Wormatia Server daran glauben. Die Linux-Distribution war in die Jahre gekommen und es musste dringend eine Aktualisierung her. Die meisten Besucher der Webseite kennen nur die Webseite wormatia.de die den Verein nach Außen Weiterlesen…

Von cmuench, vor

GIT Fehler finden

Vor kurzem hatte ich das Problem, dass ein `git push` zu einem Remote-Repository nicht funktionierte. Es wurde nur folgende Fehlermeldung ausgegeben: Da die Ursache für dies Fehlermeldung alles mögliche sein kann, wäre es gut, wenn man mehr Information erhalten könnte. Glücklicherweise gibt es die folgenden Umgebungsvariablen die man setzen kann. Weiterlesen…

Von cmuench, vor

GIT difftool

Da ich zur Zeit viel von Zuhause arbeite habe ich angefangen mein lokales Setup ein wenig zu optimieren um das tägliche Arbeiten bequemer zu haben. Dazu gehören auch die Kommandozeilen-Tools die ich täglich nutzen. GIT ist eines davon. Was mich immer genervt hatte war, dass die Ansicht zum Vergleichen nicht Weiterlesen…