Modifier le PATH de manière permanante
Résolu/Fermé
mony84
Messages postés
68
Date d'inscription
mercredi 19 juillet 2006
Statut
Membre
Dernière intervention
5 octobre 2010
-
25 févr. 2009 à 09:45
mony84 Messages postés 68 Date d'inscription mercredi 19 juillet 2006 Statut Membre Dernière intervention 5 octobre 2010 - 25 févr. 2009 à 11:52
mony84 Messages postés 68 Date d'inscription mercredi 19 juillet 2006 Statut Membre Dernière intervention 5 octobre 2010 - 25 févr. 2009 à 11:52
A voir également:
- Modifier le PATH de manière permanante
- Modifier dns - Guide
- Modifier liste déroulante excel - Guide
- Comment modifier un pdf - Guide
- Modifier story facebook - Guide
- Modifier sa voix en direct - Guide
4 réponses
dubcek
Messages postés
18755
Date d'inscription
lundi 15 janvier 2007
Statut
Contributeur
Dernière intervention
14 novembre 2024
5 621
25 févr. 2009 à 10:08
25 févr. 2009 à 10:08
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 ?
jipicy
Messages postés
40842
Date d'inscription
jeudi 28 août 2003
Statut
Modérateur
Dernière intervention
10 août 2020
4 897
25 févr. 2009 à 10:10
25 févr. 2009 à 10:10
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;-))
mony84
Messages postés
68
Date d'inscription
mercredi 19 juillet 2006
Statut
Membre
Dernière intervention
5 octobre 2010
11
25 févr. 2009 à 11:50
25 févr. 2009 à 11:50
merci jipicy,
mon shell est bien bin/bash
merci pour l'indication que je dois sourcer le fichier
ça marche :D
mon shell est bien bin/bash
merci pour l'indication que je dois sourcer le fichier
ça marche :D
Char Snipeur
Messages postés
9813
Date d'inscription
vendredi 23 avril 2004
Statut
Contributeur
Dernière intervention
3 octobre 2023
1 298
25 févr. 2009 à 10:10
25 févr. 2009 à 10:10
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
mony84
Messages postés
68
Date d'inscription
mercredi 19 juillet 2006
Statut
Membre
Dernière intervention
5 octobre 2010
11
25 févr. 2009 à 11:52
25 févr. 2009 à 11:52
merci Char Snipeur et dubcek pour vos explications