Linux: Mehrere Dateien umbenennen

Linux: Mehrere Dateien umbenennen

Das Umbenennen einzelner Dateien und Dokumente ist über den Datei-Manager schnell erledigt. Wer aber mehrere ähnlich benannte Bilder oder sonstige Dateien in einem Rutsch mit einem neuen Namen versehen möchte, greift am besten zur Shell.

Zurück zum letzten Ordner

Zurück zum letzten Ordner

In der grafischen Oberfläche funktioniert die Navigation zwischen Ordnern durch Anklicken mit der Maus. Ähnlich wie im Browser gibt es auch im Datei-Manager einen Button, mit dem der zuletzt angezeigte Ordner erneut besucht werden kann. Ähnliches existiert auch für das Linux-Terminal.

Firefox-Tweaks schneller anwenden

Firefox-Tweaks schneller anwenden

Viele geheime Einstellungen für den Firefox-Browser basieren darauf, versteckte Schalter in der internen Konfiguration anzupassen. Wer das manuell macht, braucht zu lange. Mit einem trick lassen sich Tuning-Optionen für Firefox schneller umsetzen – etwa dann, wenn man sie von einer Website kopiert.

Neu-Menü erweitern

Neu-Menü erweitern

Über einen Rechts-Klick in einem Ordner lassen sich schnell neue, leere Dateien anlegen. Welche Datei-Typen hier zur Auswahl stehen, kann der Nutzer selbst festlegen. So lässt sich die Liste schnell erweitern.