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. Ceci est réalisé dans votre startkde local, que vous pouvez normalement trouver dans /usr/bin/startkde . Si la lecture du code vous intéresse, vous pouvez le consulter en ligne. Cherchez simplement environment variables dans le fichier.