Benutzer-Werkzeuge

Webseiten-Werkzeuge


bash

Dies ist eine alte Version des Dokuments!


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