bash kurz & gut, Second Edition

Tildenersetzungen

Traditionell ist die Tilde (~) mit dem Homeverzeichnis des Anwenders assoziiert. Die Bash unterstützt darüber hinaus weitergehende Expandierungen von mit einer Tilde beginnenden Wörtern. Die Tilde und alle folgenden Zeichen bis zum ersten nicht maskierten Slash (alle folgenden Zeichen, falls kein Slash auftritt) heißen im Bash-Jargon Tilde-Prefix. Folgende Wörter expandiert die Bash:

~

Der Inhalt von $HOME; falls diese Variable ungesetzt ist, versucht die Bash das Homeverzeichnis für die aktuelle UID zu ermitteln. Eine typische Anwendung: pico ~/.bashrc, entspricht pico $HOME/.bashrc

~Username

Die Bash versucht einen Login-Namen aus dem Tilde-Prefix zu konstruieren, etwa so: ls ~work/, entspricht (normalerweise) ls /home/work/

~+ ...