Comment vais-je faire /media/De Soft/mongodb/bin La variable PATH est-elle permanente ?
Tout le monde dit " export PATH=$PATH:media/De\ Soft/mongodb/bin à votre ~/.profile ou .bashrc ou .zshenv en fonction de votre Shell".
Je ne sais pas ce qui est ~/.profile ou .bashrc ou .zshenv . Que font-ils en fait ?
Comment vais-je ajouter export PATH=$PATH:my/path à mon .profile/.bashrc/.zshenv ?
J'utilise Ubuntu 14.04 LTS 64 bits avec le terminal par défaut.
Il s'agit de fichiers de configuration. Une façon de faire :
Ouvrez une fenêtre de terminal en utilisant Ctrl+Alt+T
Exécutez la commande gedit ~/.profile
Ajoutez la ligne
export PATH=$PATH:/media/De\ Soft/mongodb/bin
au bas de la page et enregistrez
Se déconnecter et se reconnecter
Edit :
Un moyen plus sûr est d'utiliser des guillemets. Cela est nécessaire si un ou plusieurs répertoires dans le fichier original PATH contiennent des espaces. Donc :
export PATH="$PATH:/media/De Soft/mongodb/bin"
Pour changer définitivement PATH vous devez apporter des modifications à /etc/environment fichier. Faites une sauvegarde avant de modifier le fichier :
sudo cp /etc/environment /etc/environment.bak
sudo nano /etc/environmentsortie de l'échantillon :
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games"Les chemins sont délimités par : donc pour ajouter un nouveau chemin, dites x/y/z c'est ainsi que notre /etc/environment ressemble :
PATH="x/y/z:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games"
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
