Kategorien

HTML Entities von der Shell aus in Text umwandeln

Bislang hatte ich noch kein Pogramm gesehen, bei dem man auf der Kommandozeile einfach HTML Entitäten, wie > oder & in den normalen Zeichensatz zurückkonvertieren kann. Sicher, es gibt dafür eine PHP-Funktion und bestimmt auch eine entsprechende Perl-Funktion, aber warum nicht etwas einfacheres nutzen..

sudo apt-get install recode recode HTML.. < file.html > file.txt

Berechtigungen nach Einspielen eines Backups anpassen

Das Erscheinen von Ubuntu Karmic Koala habe ich zum Anlass genommen, meinen Rechner komplett neu aufzusetzen, um Balast loszuwerden. Dabei habe ich natürlich vorher ein Backup gemacht, um später wieder auf meine alten Daten und Konfigurationsdateien zugreifen zu können. Doch leider reicht es nicht, die Dateien mit cp oder rsync an die entsprechende Stelle im […]

JPEG Auflösung verlustfrei ändern

Weil ich mit einigen Tools, die JPEGs in PDF-Dateien konvertieren das Problem hatte, dass die resultierenden PDF-Dateien nicht im DINA4 Format vorlagen, sondern viel größer waren, musste ich die Auflösung der JPEG-Dateien entsprechend ändern. In einem Blog wurde für diesen Zweck ein nettes Programm für die Kommandozeile namens exiftool von Phil Harvey vorgeschlagen. Das kann […]

Rechtsklick in Firefox macht Probleme

Dass Firefox manchmal bei einem Rechtsklick willkürlich die verschiedensten Befehle ausführt, sei es nun das Anzeigen des Quelltextes, der Seiteninformationen oder das Zurückspringen zur letzten Seite, ist ein bekannter Bug. Als Workaround habe ich nun herausgefunden, dass die Mouse Gesture Redox Erweiterung Abhilfe schafft. Nach der Installation der Erweiterung konfiguriert man sie so, dass nirgends […]

VirtualBox Guest Additions und die Zeit

Leider musste ich mittlerweile einen Nachteil bei der Installation der Gasterweiterungen feststellen, der mich sogar dazu brachte, sie komplett zu deinstallieren: Die Gasterweiterungen synchronisieren in unregelmäßigem Abstand die Zeit des Gastsystems mit dem Hostsystem. Wenn man als Host Windows hat und als Gast ein Linux-System mit ntpd, dann ist das nicht gerade toll. Wie also […]