Konsolentipps #005: Ordner erstellen und hinein wechseln

Wenn ich auf der Konsole einen Ordner erstelle, tue ich das meistens um entweder etwas hineinzukopieren oder um dort zu arbeiten und neue Dateien zu erstellen.

Im ersten Fall ist es egal, wo ich mich befinde. Im Zweiten werde ich oft direkt in den gerade kreierten Arbeitsplatz wechseln.

Ich benötige …

more ...

Konsolentipps #004: Einträge aus Konsolenhistorie löschen

Die History im Terminal ist wirklich praktisch, denn der gewünschte Befehl ist nicht viele Buchstaben, sondern nur ein paar Pfeiltasten entfernt. Noch angenehmer ist es, wenn man die Suche mit CTRL+R nutzt. Leider landen auch mal Dinge in der Historie, die da gar nicht hingehören: kopierte Passwörter zum Beispiel …

more ...

Skript: Aktuelle Version von Chromium runterladen

In der Uni habe ich das Problem, dass auf den Rechnern nicht die aktuellsten Versionen aller Programme installiert sind. Bei manchen macht das nicht so viel aus, bei anderen ist das nicht so gut, denn bestimmte Funktionen bieten nur die aktuelleren Programme.

Chromium ist da so ein Fall (Sync Funktioniert …

more ...

Script: Videos in XVID encodieren

*Platzsparende Videocodecs wie* x264 *verpackt in einem MP4-Container bieten hochqualitative Videos bei kleiner Größe. So ist es nicht verwunderlich, dass Videos mit diesem Format im Netz weit verbreitet sind. Das Problem dabei: Viele Standaloneplayer können es nicht lesen. Man muss also umencodieren.*

Da ich immer mal wieder Videos in …

more ...