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

# search the history with arrow-up and arrow-down
"\e[A": history-search-backward
"\e[B": 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.

Wenn dies nur für einen einzelnen Benutzer aktiviert werden soll, werden die Befehle in ~/.inputrc geschrieben. Um die Einstellungen aus /etc/inputrc trotzdem zu laden, muss die Datei ~/.inputrc mit $include /etc/inputrc beginnen.

Nützliche Aliases

In der ~/.bash_aliases können Aliases für bestimmte Befehle definiert werden:

alias diff='colordiff' #use colored diff
alias less='less -R' #make less work with colordiff
bash.1356081001.txt.gz · Zuletzt geändert: 2012/12/21 10:10 von 79.237.241.109