Pfad wird nicht gesetzt

[Christian Knoke <chrisk@cknoke.de>]

Moin,

ein frisch aufgesetztes Gnome-System in Etch. Die PATH-Variable wird in der
Datei /home/user/.bash_profile um das Verzeichnis ~/bin erweitert, doch das
funktioniert nicht:

:~$ cat .bash_profile
[...]
# set PATH so it includes user's private bin if it exists
if [ -d ~/bin ] ; then
    PATH=~/bin:"${PATH}"
fi

~$ echo $PATH
/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games

Das Verzeichnis /home/<user>/bin existiert, ist aber nicht im Pfad. Warum?

Gruß
Christian

-- 
Christian Knoke            * * *            http://cknoke.de
* * * * * * * * *  Ceterum censeo Microsoft esse dividendum.