Benutzer-Werkzeuge

Webseiten-Werkzeuge


bash

Dies ist eine alte Version des Dokuments!


Bash

Erweiterung von Dateiname entfernen

# name without extension
name=${filename%\.*}

Bulk-Rename

Um mehrere Dateien auf einmal umzubenennen (zum Beispiel ap2 in allen Dateien durch ap3 zu ersetzen):

for file in ap2* ; do mv $file `echo $file | sed 's/ap2/ap3/'`; done

Um die Umbenennung vorher gefahrlos zu testen, kann man ein echo einfügen:

for file in ap2* ; do echo mv $file `echo $file | sed 's/ap2/ap3/'`; done

Verzeichnis, aus dem Script gestartet wurde

DIR="$( cd "$( dirname "$0" )" && pwd )"

Gezieltes Blättern in der History

Um gezieltes Blättern oder Suchen in der History zu aktiveren, muss in /etc/inputrc

"\e[5~": history-search-backward
"\e[6~": history-search-forward

eingefügt werden. Dann kann man den Anfang eines schonmal eingegebenen Befehls eingeben und mit Pfeil-Hoch und -Runter den richtigen aussuchen.

bash.1321955138.txt.gz · Zuletzt geändert: 2011/11/22 10:45 von 130.75.57.43