Schönere Git Diffs im Terminal mit diff-so-fancy

Posted on Fr 12 Januar 2018 in Kurztipps • Tagged with ubuntuusers-planet

Es sind manchmal die kleinen Dinge, die einem im Terminal noch glücklicher machen, für Probleme, die man vorher gar nicht hatte. Ein Beispiel ist etwa das Anzeigen von Unterschieden zwischen zwei Versionen mit einer Datei mit diff bzw. in diesem Fall ein einfaches git diff.

Mit diff-so-fancy lässt sich das …


Continue reading

Kurztipp: Latexmk und 16:9 LaTeX Beamer Slides

Posted on Sa 18 März 2017 in Kurztipps • Tagged with ubuntuusers-planet

Manchmal sind es die kleinen Dinge, die das Arbeiten mit LaTex und in meinem speziellen Fall LaTeX Beamer vereinfachen. Ein hilfreiches Tool ist etwa Latexmk. Wer häufiger an LaTeX-Dokumenten arbeitet, kennt wohl das Problem, dass man den Code mehrfach kompilieren muss, damit alle Cross-Referenzen aktualisiert werden. Etwa dann, wenn neue …


Continue reading

Dynamisches DNS mit eigener Domain

Posted on Sa 05 Juli 2014 in Kurztipps

Auch ich nutzte bislang den dynamischen DNS Dienst von noip.com. Microsoft übernahm einige NoIP-Domains und davon war auch ich betroffen. Das ganze war für mich ungünstig, da ich dann ein paar Tage nicht mehr auf meinen Homeserver von außerhalb zugreifen konnte.

Ich musste mir also entweder einen anderen Dienst …


Continue reading

Schneller suchen mit Schlüsselwörtern in Firefox

Posted on Mo 10 Januar 2011 in Kurztipps • Tagged with Web

Firefox bietet ein nettes Feature um schneller und auch angenehmer Suchen durchzuführen. Standardmäßig gibt es rechts die Suchbox, wo Google als Suchmaschine voreingestellt ist. Durch ein Klick auf das Drop-Down-Menü kann man andere Suchmaschinen oder auch Wörterbücher wie Leo hinzufügen. Einfacher gestaltet sich die Suche, wenn man Schlüsselwörter hinzufügt. Mit …


Continue reading