Variables d'environnement de session
Configurer les variables d'environnement de session
C'est simple de définir des variables d'environnement qui affectent l'ensemble de votre session. Plasma exécutera tout script trouvé dans $HOME/.config/plasma-workspace/env dont le nom de fichier se termine par .sh, et il conservera toutes les variables d'environnement définies par lui. Il est important que toute variable que vous voulez définir soit aussi exported
. Dans le cas de PATH, par exemple, votre système sera configuré avec certains répertoires pareils à des endroits où on peut de trouver des choses. Vous ajoutez maintenant un lieu de recherche supplémentaire possible. Vous pouvez voir ce qui est déjà défini en ouvrant Konsole et en entrant echo $PATH
Pour ajouter des chemins à votre PATH, créez simplement un fichier nommé $HOME/.config/plasma-workspace/env/path.sh avec un contenu similaire à :
export PATH=$HOME/local/bin:$PATH
Explorons cela. La commande export indique au système que c'est quelque chose qui devrait être sauvegardé et utilisé par la recherche de fichiers. Ensuite, vous donnez le nom complet du répertoire que vous voulez ajouter (dans ce cas $HOME/local/bin). Enfin, vous voyez la variable $PATH elle-même - c'est parce que vous voulez lui ajouter votre nouveau chemin, et non remplacer le chemin existant.
Souvent, cela fonctionnera assez bien pour vous, mais à mesure que vous vous familiariserez avec le système, vous voudrez probablement avoir le même environnement en utilisant une console ou en accédant à votre machine via ssh, vous devrez ajouter à la fin de votre .bashrc quelque chose comme ceci :
source $HOME/.config/plasma-workspace/env/path.sh
Vous pouvez aussi vérifier comment Plasma le fait actuellement. Le démarrage de KDE est compliqué, il se termine par l'appel soit de /usr/bin/startplasma-x11
soit de /usr/bin/startplasma-wayland
. Si la lecture du code vous intéresse, vous pouvez consulter le code de startkde en ligne et cherchez simplement environment variables.