Revision as of 09:25, 16 February 2018 by ChristianW (talk | contribs)

Variables d'environnement de session

Other languages:
English • ‎català • ‎dansk • ‎français • ‎українська

Configurer les variables d'environnement de session

It is simple to set environment variables that affect your whole session. Plasma will execute any script it finds in $HOME/.config/plasma-workspace/env whose filename ends in .sh, and it will maintain all the environment variables set by them. It is important that any variable you want to set must be also exported. In the case of PATH, for instance, your system will be set up with certain likely directories as the likely places to find things. Now you are adding an extra possible search place. You can see what is already set by opening Konsole and typing echo $PATH

Pour ajouter des chemins à votre PATH, créez simplement un fichier nommé $HOME/.config/plasma-workspace/env/ avec un contenu similaire à :

export PATH=$HOME/local/bin:$PATH

Let's explore that. The command export tells the system that this is something that should be saved and used when looking for files. Next you add the full name of the directory you want to add (in this case ~/local/bin, another way of writing /home/you/local/bin - again you can use echo $HOME to see how that works). Finally you see the $PATH variable itself - that's because you want to add your new path into it, not replace the existing path.

Often that will work well enough for you, but as you get more familiar with the system you will probably want to have the same environment when using a console or accessing your machine via ssh, you will need to add to the end of your .bashrc something like this:

source $HOME/.config/plasma-workspace/env/

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 online. Cherchez simplement environment variables dans le fichier.

This page was last edited on 4 August 2019, at 16:34. Content is available under Creative Commons License SA 4.0 unless otherwise noted.