Comment vais-je rendre cette variable /media/De Soft/mongodb/bin
PATH 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 réellement?
Comment vais-je ajouter export PATH=$PATH:my/path
à mon fichier .profile/.bashrc/.zshenv?
J'utilise Ubuntu 14.04 LTS 64 bits avec terminal par défaut.
Ce sont des fichiers de configuration. Une manière:
gedit ~/.profile
Ajouter la ligne
export PATH=$PATH:/media/De\ Soft/mongodb/bin
vers le bas et économisez
Se déconnecter et se reconnecter
Modifier:
Un moyen plus sûr consiste à utiliser des guillemets. Cela est nécessaire si un ou plusieurs répertoires du nom d'origine PATH
contiennent des espaces. Alors:
export PATH="$PATH:/media/De Soft/mongodb/bin"
Tapez ce qui suit dans une fenêtre de terminal
export PATH=/media/De\ Soft/mongodb/bin:$PATH
Fermez le terminal et redémarrez l'ordinateur. Le chemin doit inclure/media/De\Soft/mongodb/bin lorsque vous tapez ceci dans le terminal:
echo $PATH
Pour changer définitivement PATH
name__, vous devez modifier le fichier /etc/environment
. Faites une sauvegarde avant de modifier:
Sudo cp /etc/environment /etc/environment.bak
Sudo nano /etc/environment
exemple de sortie:
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 :
. Ainsi, pour ajouter un nouveau chemin, dites x/y/z
, voici comment notre /etc/environment
ressemble à ceci:
PATH="x/y/z:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games"