bash
Dies ist eine alte Version des Dokuments!
Inhaltsverzeichnis
Bash
Erweiterung von Dateiname entfernen
# name without extension name=${filename%\.*}
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.1321030574.txt.gz · Zuletzt geändert: 2011/11/11 17:56 von 79.201.168.82