Session Environment Variables/fr: Difference between revisions
ChristianW (talk | contribs) No edit summary |
ChristianW (talk | contribs) No edit summary |
||
Line 18: | Line 18: | ||
}} | }} | ||
Vous pouvez aussi vérifier comment Plasma le fait actuellement. Ceci est réalisé dans votre <code>startkde</code> local, que vous pouvez normalement trouver dans <tt>/usr/bin/startkde</tt> . Si la lecture du code vous intéresse, vous pouvez le consulter [https://cgit.kde.org/plasma-workspace.git/tree/startkde/startkde.cmake | Vous pouvez aussi vérifier comment Plasma le fait actuellement. Ceci est réalisé dans votre <code>startkde</code> local, que vous pouvez normalement trouver dans <tt>/usr/bin/startkde</tt> . Si la lecture du code vous intéresse, vous pouvez le consulter [https://cgit.kde.org/plasma-workspace.git/tree/startkde/startkde.cmake en ligne]. Cherchez simplement ''environment variables'' dans le fichier. | ||
[[Category:System]] | [[Category:System]] |
Revision as of 11:35, 16 February 2018
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 ~/local/bin, une autre façon d'écrire /home/you/local/bin - encore une fois, vous pouvez utiliser echo $HOME
pour voir comment cela fonctionne). Enfin, vous voyez la variable $PATH elle-même - c'est parce que vous voulez 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.