shell

Radio hören über die CLI

Um ein bisschen Radio zu hören über die CLI, dies ist in Linux recht einfach zu bewerkstelligen. Zuerst den mplayer installieren mit: sudo apt install mplayer -y jetzt den Player aufrufen und den Stream (in…


Default-Editor in der BASH-Shell

Um den Default-Editor in der BASH-Shell zu ändern, sind folgende Zeilen am Ende in der .bashrc einzufügen: export EDITOR=’vi’export VISUAL=’vi’ jetzt das Speichern nicht vergessen und anschliessend mit dem Befehl: source .bashrc aktivieren (alternativ mit…


mp4-Filme schneiden mit ffmpeg in Linux

Zunächst einmal sollte ffmpeg installiert sein. Dies klappt am besten mit dem Befehl: sudo apt install ffmpeg Die ungeschnittene Fassung heisst in meinem Fall uncut.mp4 . Den Anfang schneiden wir mit: ffmpeg -i uncut.mp4 -ss…



Citrix-Receiver auf Debian-Linux

Heute möchte ich einmal kurz, da ich es eben auch hatte, beschreiben, wie man die bekannten Fehlermeldungen im Citrix-Receiver “umschifft”. Zunächst die aktuelle Version herunterladen (den ICA-Client gibts nicht in den Repositories): (ganz unten gibts…


SSH beim ersten Boot

Einen SSH-Server beim ersten Booten des RaspberryPi verfügbar zu haben, ist recht einfach zu konfigurieren. Nach dem Beschreiben der SD-Karte mit dem Raspbian-Image, einfach in den Ordner “boot” gehen und eine Datei mit dem Namen…