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" fiDies 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