Your Browser is not longer supported

Please use Google Chrome, Mozilla Firefox or Microsoft Edge to view the page correctly
Loading...

{{viewport.spaceProperty.prod}}

Tilde-Ersetzung

&pagelevel(4)&pagelevel

Nach der Alias-Ersetzung wird jedes Wort getestet, ob es mit einer nicht entwerteten Tilde ~ beginnt. Wenn dies der Fall ist, dann wird das Wort bis zum nächsten Schrägstrich / auf die Übereinstimmung mit einem Login-Namen untersucht. Ist dies gegeben, dann wird die Tilde und der Login-Name durch das Login-Verzeichnis des gefundenen Benutzers ersetzt. Dies wird Tilde-Ersetzung genannt. Wird keine Übereinstimmung gefunden, dann bleibt der Originaltext unverändert. Eine alleinstehende Tilde oder eine Tilde vor einem Schrägstrich wird durch $HOME ersetzt. Eine Tilde gefolgt von einem Plus- oder Minuszeichen wird durch $PWD (+) oder $OLDPWD (-) ersetzt.

Tilde-Ersetzung wird auch versucht, wenn der Wert einer Variablenwertzuweisung mit einer Tilde beginnt.


Beispiel

Mit dem Kommando

cat ~/.profile

können Sie von beliebiger Stelle die Datei .profile in Ihrem Login-Verzeichnis auflisten.