Où devrais-je ajouter / modifier des variables d'environnement?
J'aimerais éditer mon fichier .bash_profile. Cependant, il semble que dans Ubuntu (et peut-être dans d'autres distributions Debian), cela s'appelle .profile.
Cependant, je n'arrive pas à trouver les variables attendues telles que $ PATH, $ PS, etc. dans le .profile file. Le fichier .bashrc ne semble pas non plus être utile.
Je me demande comment je pourrais éventuellement modifier mes variables d'environnement dans ce cas.
Selon = documentation Ubunt , ils ne recommandent pas d'utiliser ~/.profile, mais recommandent plutôt d'utiliser ~/.pam_environment pour ajouter des éléments à $ PATH:
~/.pam_environment - Ce fichier est spécialement conçu pour configurer l'environnement d'un utilisateur. Ce n'est pas un fichier de script, mais plutôt une expression d'affectation, une par ligne.PATH DEFAULT=${PATH}:${HOME}/MyPrograms
Vous pouvez configurer vos variables d'environnement telles que $ PATH ou $ PS de manière permanente pour les sessions bash dans votre fichier .bashrc qui constitue votre répertoire $HOME.
si vous devez le définir de manière permanente et si vous utilisez l'ensemble du système (tous les utilisateurs, tous les processus), ajoutez la variable set dans /etc/environment