Am 06.01.2013 17:20, schrieb Kai-Martin Knaak:
Wird vielleicht bei Dir in $HOME/.bashrc oder In $HOME/.profile die Pfad-Variable so gesetzt, das der in /etc/profile definiere Wert nicht ergännzt, sondern überschreiben wird?
Nein, beide Dateien sind auf den Standardwerten nach der Installation, d.h. in $HOME/.bashrc wird PATH nicht angefasst und in $HOME/.profile gibt es nur die standardmäßige
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi
Dies wird für eine Login-Shell auf der Kommandozeile ausgeführt, aber
leider nicht für Shells die aus der grafischen Umgebung heraus gestartet
werden.
mfg Matthias