Session Environment Variables/fr: Difference between revisions
ChristianW (talk | contribs) (Created page with "C'est simple de définir des variables d'environnement qui affectent l'ensemble de votre session. Plasma exécutera tout script trouvé dans <tt>$HOME/.config/plasma-workspace...") |
(Updating to match new version of source page) |
||
(8 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
<languages /> | <languages /> | ||
<span id="Setting_Session_Environment_Variables"></span> | |||
== Configurer les 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 <tt>$HOME/.config/plasma-workspace/env</ tt> dont le nom de fichier se termine par <tt>.sh</ tt>, 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 <code>exported</code>. 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 [[Special:myLanguage/Konsole|Konsole]] et en entrant <code> echo $PATH</code> | C'est simple de définir des variables d'environnement qui affectent l'ensemble de votre session. Plasma exécutera tout script trouvé dans <tt>$HOME/.config/plasma-workspace/env</tt> dont le nom de fichier se termine par <tt>.sh</tt>, 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 <code>exported</code>. 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 [[Special:myLanguage/Konsole|Konsole]] et en entrant <code> echo $PATH </code> | ||
Pour ajouter des chemins à votre [http://en.wikipedia.org/wiki/Path_(computing) PATH], créez simplement un fichier nommé <tt>$HOME/.config/plasma-workspace/env/path.sh</tt> avec un contenu similaire à : | Pour ajouter des chemins à votre [http://en.wikipedia.org/wiki/Path_(computing) PATH], créez simplement un fichier nommé <tt>$HOME/.config/plasma-workspace/env/path.sh</tt> avec un contenu similaire à : | ||
<div class="mw-translate-fuzzy"> | |||
{{Input|1=export PATH=$HOME/local/bin:$PATH | {{Input|1=export PATH=$HOME/local/bin:$PATH | ||
}} | }} | ||
</div> | |||
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> | <div class="mw-translate-fuzzy"> | ||
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}} | |||
</div> | |||
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 : | 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 : | ||
Line 18: | Line 24: | ||
}} | }} | ||
Vous pouvez aussi vérifier comment Plasma le fait actuellement. | 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 <code>/usr/bin/startplasma-x11</code> soit de <code>/usr/bin/startplasma-wayland</code> . Si la lecture du code vous intéresse, vous pouvez consulter [https://invent.kde.org/plasma/plasma-workspace/-/blob/master/startkde/startplasma.cpp#L258 le code de startkde en ligne] et cherchez simplement ''environment variables''. | ||
[[Category: | == Voir aussi == | ||
{{Menu|Configuration du système|Démarrage et arrêt|Démarrage automatique }} montrent quels scripts et quelles applications s'exécutent et vous permettent d'en ajouter de nouveaux; voir [[Special:myLanguage/System Settings/Startup and Shutdown|Démarrage et arrêt]]. | |||
[[Category:Système/fr]] |
Latest revision as of 12:04, 18 March 2024
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.