PDF in Doppelseiten-JPG wandeln. Die Programme stammen aus den Paketen pdftk, texlive-extra-utils und ImageMagick.


xmllint --xpath "//element" *.xml


oder etwas elaborierter:


sudo apt-key adv --refresh-keys --keyserver keyserver.ubuntu.com


Im Prinzip ganz einfach und straight forward:


diff -rq dir1 dir2


Sind allerdings Sym-Links im Spiel, die ins Leere zeigen, werden ggf. zu viele Fehler ausgegeben.

Auf der Kommandozeile lässt sich bei (wenigen) Differenzen zwischen zwei Dateien mit dem git diff sehr schnell ein brauchbares Ergebnis erzielen:

Um die bestehenden User einer mysql Datenbank auf eine andere Instanz zu übertragen, sind ein paar Kommandos hilfreich und sinnvoll, die in

Nach Jahren mit diversen Netzwerkinstallationen ein neuer Effekt: Der Netzwerkparameter der MTU ist ungünstig eingestellt gewesen.

Bekanntes Problem:
Dateinamen von unter Win gezippten Daten bekommen statt Umlauten "komische" Zeichen. Böhmen wird zu B├Âhmen

Lösung:

unzip [-l] -O win-1252 zipfile.zip

Aufruf mit perl -CSDA:
Filehandles sind UTF-8, Kommandozeile ist UTF-8 aware.

Docker Desktop lässt sich unter Win10, das auf einer Virtualbox läuft, installieren: