Da gibt es viele Varianten, die auch nicht mehr funktionieren, weil sie zB durch die Startskripte der Xorg-Gnome-Sitzung gelesen und jetzt bei wayland ignoriert werden.
Warum gleich zwei meiner Vorschläge daneben gegangen sind ist mir noch nicht ganz klar - bei einem allerdings schon:
In Debian wird (bei Login-Shells) $PATH mittels »
/etc/profile« gesetzt bzw. überschrieben. das dürfte der Grund sein, dass mein 3. ins Leere gegangen ist. Dass Gnome auch in der wayland-Variante überhaupt von einer Shell mit einem Shellskript gestartet wird, habe ich nicht vermutet. Ohne alexander_ros Einwand hätte ich das nicht bemerkt.
Jedenfalls bin ich mir jetzt ziemlich sicher, dass du $PATH in der »
/etc/profile« oder in »
~/.profile« anpassen kannst, damit die Extension ohne weitere Maßnahmen funktioniert. In ersterer kannst du diese Zeilen
Code: Alles auswählen
if [ "$(id -u)" -eq 0 ]; then
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
else
PATH="/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games"
fi
export PATH
so ändern, dass das zweite PATH=..., das ist das für die normalen Benutzer, ebenfalls /usr/sbin (und der Vollständigkeit halber eventuell auch die anderen sbins) enthält – am besten am Anfang der Liste.
Wenn du das dagegen benutzerspezifisch mit der »
~/.profile« erledigen willst, genügt es so etwas hineinzuschreiben
Code: Alles auswählen
PATH="/usr/local/sbin:/usr/sbin:/sbin:${PATH}"
export PATH