commandline

Für komplexe Kommandozeilentools sind klassische man-Pages oft unverzichtbar, können aber unübersichtlich wirken, wenn es nur um eine schnelle Antwort geht. Hier setzt »tldr pages« an: eine moderne Alternative, die die wichtigsten Befehle kompakt und verständlich darstellt. Die Inhalte werden von einer engagierten Community gepflegt und sind vollständig Open Source. Mit Optionen wie der Browser-App ist der Zugriff jederzeit einfach, schnell und offline möglich – ideal wenn man Browser und Terminal nebeneinander geöffnet haben möchte. ...

Wenn man häufig auf der Kommandozeile arbeitet, kann es nützlich sein, die aktuelle externe IP-Adresse seines Rechners zu kennen. Eine unkomplizierte und zuverlässige Lösung hierfür bietet der Webdienst »ifconfig.me«. Mit dem einfachen Befehl curl kann man schnell seine IP-Adresse ermitteln: curl ifconfig.me Dieser Dienst erinnert ein wenig an wttr.in, einen bekannten Dienst zur Wetterabfrage direkt auf der Kommandozeile. Auf der Website von ifconfig.me findet man zwar weitere Befehle, die ich persönlich jedoch als nebensächlich empfinde. ...

Durch Zufall bin ich auf das Projekt »Krabby-gotchi« von DrCheeseFace gestoßen. Dabei handelt es sich um ein unterhaltsames Commandline-Tool, das mit einer Krabbe als virtuellem Begleiter auf spielerische Weise beim Erlernen der Programmiersprache Rust unterstützen soll.

Dieses Blog und weitere Dienste hoste ich bei Uberspace.de. Vor einigen Jahren konnte man den Dropbox-Client im eigenen Benutzerkonto installieren. Seitdem Uberspace auf CentOS 7 gewechselt ist, geht das leider nicht mehr. Vor einigen Wochen erfuhr ich von Maestral, einem Dropbox-Client eines Drittanbieters. Zuerst müssen wir die Software pip aktualisieren. Das geht ganz einfach mit folgendem Befehl: python3 -m pip install --upgrade pip --user Jetzt können wir Maestral installieren, das geht ähnlich einfach: ...

Nachdem Dropbox auf dem Uberspace nicht mehr läuft und ich meinen Blogging-Workflow geändert habe, will ich Dropbox löschen und alle .dropbox.attr-Dateien löschen. Das sind Metadateien, die Dropbox in jedem Ordner anlegt. Als Erstes löschen wir Dropbox. Dazu loggen wir uns per SSH auf dem Uberspace ein. Dann wechseln wir ins Home-Verzeichnis. cd ~ Mit folgendem Befehl löschen wir die Dateien, die nach der Installation angelegt wurden. rm -rv Dropbox .dropbox .dropbox-dist rm ~/service/dropboxd svc -dx . log rm -rf ~/etc/run-dropboxd Mein Blog lag in der Dropbox, das heißt, ich muss in den öffentlichen Bereich wechseln und auch hier unnötige Dateien löschen. ...