modification du $PATH

viejo · Le 23/03/2011, à 15:32

Bonjour à tous,

J'ai voulu modifier mon $PATH et je me retrouve maintenant avec un chemin
inexistant ce qui m'empêche d'ouvrir une application importante pour moi (jEdit)

voici mon $PATH

jotados@linuxmint ~ $ echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/real/RealPlayer:/usr/bin/java:/usr/bin/java:/usr/lib/jvm/java/bin

le dernier (usr/lib/jvm/java/bin) n'existe pas et l'avant dernier
(/usr/bin/java) est mentionné deux fois.

Je dois donc les enlever tous les deux mais je ne sais pas comment faire.

Une petite aide s'il vous plaît.

c.hubert · Le 23/03/2011, à 15:38

Bonjour,

Ta variable PATH est-elle mise a jour dans ton fichier .bashrc ou .profile ?

FRUiT · Le 23/03/2011, à 15:42

Une solution pour la session courante (à taper dans la console) :

> PATH=${PATH%:/usr/bin/java*}

Pour que ce changement soit permanent il faudrait savoir à quel moment (fichier) ces chemins sont ajoutés.

Poste nous le retour de :

> cat /etc/environment

Et :

> awk '/PATH/' ~/.bashrc

Et :

> awk '/PATH/' ~/.profile

Dernière modification par FRUiT (Le 23/03/2011, à 17:17)

kamui57 · Le 23/03/2011, à 15:45

avec

export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/real/RealPlayer:/usr/bin/java

? (export PATH=/chemin/1:/chemin/2 de ton PATH que tu veux etc)

viejo · Le 23/03/2011, à 16:51

Merci de la réponse rapide

>PATH=${PATH%:/usr/bin/java*}
cette commande ne donne rien ! je retourne directement à l'invite !

> cat /etc/environment
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games"

> awk '/PATH/' ~/.bashrc
comme ci-dessus : rien, nada...

> awk '/PATH' ~/.profile
jotados@linuxmint ~ $ awk '/PATH' ~/.profile
awk: /PATH
awk: ^ expression régulière non terminée

Je ne connais pas awk mais je me suis aperçu qu'il manquait peut être un "/" et, en le rajoutant :
jotados@linuxmint ~ $ awk '/PATH/' ~/.profile
# set PATH so it includes user's private bin if it exists
PATH="$HOME/bin:$PATH"

FRUiT · Le 23/03/2011, à 17:09

viejo a écrit :

> PATH=${PATH%:/usr/bin/java*}
cette commande ne donne rien ! je retourne directement à l'invite !

C'est normal. Après pour contrôler tu refais un echo $PATH les chemins indésirés devraient avoir disparu.

viejo a écrit :

> cat /etc/environment
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games"

Là c'est normal tout va bien.

viejo a écrit :

> awk '/PATH/' ~/.bashrc
comme ci-dessus : rien, nada...

Ok donc ce n'est pas dans ce fichier que ton PATH est modifié.

viejo a écrit :

> awk '/PATH' ~/.profile
jotados@linuxmint ~ $ awk '/PATH' ~/.profile
awk: /PATH
awk: ^ expression régulière non terminée
Je ne connais pas awk mais je me suis aperçu qu'il manquait peut être un "/" et, en le rajoutant :
jotados@linuxmint ~ $ awk '/PATH/' ~/.profile
# set PATH so it includes user's private bin if it exists
PATH="$HOME/bin:$PATH"

Excuse moi j'ai oublié un / en effet. Ceci dit c'est pas là non plus que la modification a lieu.

Lorsque tu redémarres, est-ce que ton PATH contient les mauvais chemins ? Ou les avais tu rajoutés par une commande ? (si oui laquelle ?)

Sinon on continue la prospection :

> awk '/PATH/' /etc/bash.bashrc

Et :

> awk '/PATH/' /etc/profile

Dernière modification par FRUiT (Le 23/03/2011, à 17:10)

viejo · Le 23/03/2011, à 19:21

FRUiT a écrit :

Sinon on continue la prospection :
> awk '/PATH/' /etc/bash.bashrc

jotados@linuxmint ~ $ awk '/PATH/' /etc/bash.bashrc
PATH=$PATH:$JAVA_HOME
export PATH

FRUiT a écrit :

Et :

> awk '/PATH/' /etc/profile

jotados@linuxmint ~ $ awk '/PATH/' /etc/profile
export PATH=$PATH:/usr/bin/java

Ici, je dois donner quelques explications : J'ai deux distributions Linux : Ubuntu et LinuxMint. Sous Ubuntu, pas de problème tout fonctionne normalement mais sous Linux Mint, Jedit ne veut pas se lancer et toutes les manoeuvres et essais que j'ai tentés depuis cet après midi avaient pour but de le lancer. (Je rappelle que jedit est un éditeur de texte qui, combiné avec Lilypond, nous sort des partitions de musique superbes. (En fait, c'est plutôt Lilypond le super logiciel mais jedit est d'une grande aide).

J'ai donc passé mon après midi à modifier mes fichiers .~/./bashrc, ~/.profile et /etc/bash.bashrc

Je me suis rendu compte que dans ce dernier, mon environnement java était mal indiqué. je l'ai donc modifié et, après quelques tatonnements, tout a l'air de fonctionner normalement sauf que jedit ne se lance pas en console !

Et voici ce que j'obtiens depuis la console :
jotados@linuxmint ~ $ jedit
exec: 28: /usr/lib/jvm: Permission denied

ma variable $JAVA_HOME
jotados@linuxmint ~ $ echo $JAVA_HOME
/usr/lib/jvm

En d'autres termes, jedit trouve bien java (nécessaire à son fonctionnement) mais m'interdit son accès !

Voici ce que donne la commande ls -l

jotados@linuxmint ~ $ ls -l /usr/lib/jvm
total 4
lrwxrwxrwx 1 root root 19 2011-03-02 10:32 java-6-sun -> java-6-sun-1.6.0.24
drwxrwxr-x 6 root root 4096 2011-03-02 10:32 java-6-sun-1.6.0.24

On peut voir que java se trouve bien dans /usr/lib/jvm

Il ne s'agit plus maintenant de $PATH mais de droits.

on continue à m'aider ?

oui, hein ?

Aerendil Morval · Le 24/03/2011, à 02:24

Bonsoir,

exec: 28: /usr/lib/jvm: Permission denied

Il semblerais qu'ici ce ne soit pas les fichiers dans /usr/lib/jvm qui pose problème, mais bien le dossier qui les contient, ton ls -l n'affiche que les droits des fichiers contenus, je te conseil d'essayer

ls -ld /usr/lib/jvm

Afin de vérifier les droits du dossier.
Enfin, je ne peux que te conseiller de vérifier l'owner de tes fichiers. Actuellement, ces fichiers appartiennent a "root", il est possible qu'ils te manquent des droits.

NB: Pour t'assurer que "root" peux exécuter ton programme, tu peux essayer d'utiliser "sudo" pour lancer ton jedit.
Enfin, si tu souhaite changer l'owner du fichier, voici le synopsis simplifie:

chown [-R] [utilisateur[:groupe]] cible1 [cible2]

-R : permet de rendre la commande récursive, afin qu'elle s'applique a chaque sous-fichiers/sous-dossiers
utilisateur:groupe : a remplacer par l'utilisateur et éventuellement suivi d'un ':' et du groupe auquel tu veux que ce(s) fichier(s) appartiennent.
cible1 etc: les fichiers/dossiers a changer, tout simplement

j'espère que ca te serviras, n'hésite pas si tu as des questions.

viejo · Le 24/03/2011, à 14:51

=Aerendil Morval]Bonsoir,

exec: 28: /usr/lib/jvm: Permission denied

Il semblerais qu'ici ce ne soit pas les fichiers dans /usr/lib/jvm qui pose problème, mais bien le dossier qui les contient, ton ls -l n'affiche que les droits des fichiers contenus, je te conseil d'essayer

ls -ld /usr/lib/jvm

Afin de vérifier les droits du dossier.

En lançant jedit, en console, en root, je me suis rendu compte que java se trouvait dant /usr/bin/java.

J'ai donc modifié ma varialble $JAVA_HOME de /usr/lib/jvm en /usr/bin/java et depuis, ça marche en user.

Enfin, je ne peux que te conseiller de vérifier l'owner de tes fichiers. Actuellement, ces fichiers appartiennent a "root", il est possible qu'ils te manquent des droits..
NB: Pour t'assurer que "root" peux exécuter ton programme, tu peux essayer d'utiliser "sudo" pour lancer ton jedit.
Enfin, si tu souhaite changer l'owner du fichier, voici le synopsis simplifie:
chown [-R] [utilisateur[:groupe]] cible1 [cible2]
.

Je connaissais cette commande et je l'utilise sans problème de temps en temps.

Mais maintenant, j'ai un autre problème : je peux lancer Jedit en console et avec le reccourci. Mais, à la compilation du fichier musical, j'obtiens un truc bizarre :

....
Dessin des systèmes (dessin de la partition musicale) : ERROR unbound variable : %

Bon, là, je ne pense pas qu'on pourra m'aider sur ce forum. Je vais m'adresser directement à un forum d'aide de lilypond.

En tout cas, je remercie sincèrement tous ceux qui m'ont apporté leurs lumières et, encore une fois, je me rends compte que je suis bien petit par rapport à vous.

Merci encore

Si vous êtes d'accord, je vais marquer {résolu] sur ma première demande

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 23/03/2011, à 15:32

modification du $PATH

#2 Le 23/03/2011, à 15:38

Re : modification du $PATH

#3 Le 23/03/2011, à 15:42

Re : modification du $PATH

#4 Le 23/03/2011, à 15:45

Re : modification du $PATH

#5 Le 23/03/2011, à 16:51

Re : modification du $PATH

#6 Le 23/03/2011, à 17:09

Re : modification du $PATH

#7 Le 23/03/2011, à 19:21

Re : modification du $PATH

#8 Le 24/03/2011, à 02:24

Re : modification du $PATH

#9 Le 24/03/2011, à 14:51

Re : modification du $PATH

Pied de page des forums