Session Environment Variables/fr: Difference between revisions

Revision as of 16:33, 4 August 2019

Other languages:

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.

Attention

Si vous voulez pointer sur le répertoire racine de votre compte n'utilisez pas '~', mais utilisez $HOME à la place

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.

@@ Line 10: / Line 10: @@
 }}
-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 <tt>~/local/bin</tt>, une autre façon d'écrire <tt>/home/you/local/bin</tt> - encore une fois, vous pouvez utiliser <code>echo $HOME</code> 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.
+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 <tt>$HOME/local/bin</tt>). 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.
+{{Warning/fr|Si vous voulez pointer sur le répertoire racine de votre compte n'utilisez pas '~', mais utilisez $HOME à la place}}
 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  <tt>.bashrc</tt> quelque chose comme ceci :