Modifier le PATH de manière permanante
Résolu
mony84
Messages postés
68
Date d'inscription
Statut
Membre
Dernière intervention
-
mony84 Messages postés 68 Date d'inscription Statut Membre Dernière intervention -
mony84 Messages postés 68 Date d'inscription Statut Membre Dernière intervention -
A voir également:
- Modifier le PATH de manière permanante
- Modifier dns - Guide
- Modifier liste déroulante excel - Guide
- Modifier story facebook - Guide
- Modifier extension fichier - Guide
- Vous avez besoin d'une autorisation de la part de système pour modifier ce dossier - Guide
4 réponses
hello
~/ c'est $HOME, le dossier de l'utilisateur
y a-t-il un fichier ~/.profile ?
ton shell est bien bash ?
~/ c'est $HOME, le dossier de l'utilisateur
y a-t-il un fichier ~/.profile ?
ton shell est bien bash ?
Salut,
qu'est ce que signifiie '~/' comme par exemple dans ~/.bashrc
Le "~/" signifie ton répertoire personnel (/home/ton_login)
Pour en revenir à ton problème, quel shell utilises-tu ? (echo $SHELL ou grep $USER /etc/passwd)
En fonction du shell, les fichiers de configurations peuvent varier.
Une fois le fichier ~/.bashrc modifié, il faut le "sourcer" (man bash) pour que les modifications soient prises en compte :
qu'est ce que signifiie '~/' comme par exemple dans ~/.bashrc
Le "~/" signifie ton répertoire personnel (/home/ton_login)
Pour en revenir à ton problème, quel shell utilises-tu ? (echo $SHELL ou grep $USER /etc/passwd)
En fonction du shell, les fichiers de configurations peuvent varier.
Une fois le fichier ~/.bashrc modifié, il faut le "sourcer" (man bash) pour que les modifications soient prises en compte :
source ~/.bashrc ou . ~/.bashrc;-))
Salut.
~ est un alias pour $HOME, c'est le répertoire utilisateur.
premièrement, utilise tu bash comme shell ?
fait un "man bash" à la fin il doit y avoir l'ensemble des fichiers de configuration lors du démarrage, vérifie quels sont les différents fichier appeler, si ils existe etc.
Ensuite, regarde dans ton home tout les fichiers .bash* .profile*, c'est peut être un de ceux là à modifier.
Ensuite, bien entendu les modifications ne sont pas imédiates, il faut lancer un nouveau shell pour que les modifications soient prises en compte
~ est un alias pour $HOME, c'est le répertoire utilisateur.
premièrement, utilise tu bash comme shell ?
fait un "man bash" à la fin il doit y avoir l'ensemble des fichiers de configuration lors du démarrage, vérifie quels sont les différents fichier appeler, si ils existe etc.
Ensuite, regarde dans ton home tout les fichiers .bash* .profile*, c'est peut être un de ceux là à modifier.
Ensuite, bien entendu les modifications ne sont pas imédiates, il faut lancer un nouveau shell pour que les modifications soient prises en compte