Re: nouvelle version de lilypond

[Jean Bréfort]

Ceci ne peut pas fonctionner.
En supposant que lilypond se trouve dans /opt/bin (je ne crois pas qu'il
soit dans /opt directement. De plus, l'ajout ne doit pas dépendre de
l'existence ou non de $HOME/bin, il faudrait plutôt faire comme ceci :

# add /opt/bin to $PATH:
PATH="/opt/bin:$PATH"
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi

Cordialement,
J. Bréfort

Le jeudi 29 novembre 2012 à 13:26 +0100, Jean-Jacques gerbaud a écrit :
> Le 29/11/2012 12:48, Philippe Nenert a écrit :
> > Il faut ajouter à ton PATH (dans ton fichier .profile) le chemin vers ton 
> > nouveau lilypond ...
> > Philippe
> 
> Merci Philippe d'avoir répondu si vite !
> 
> voici mon /home/user/.profile (les dernières lignes)
> 
> # set PATH so it includes user's private bin if it exists
> if [ -d "$HOME/bin" ] ; then
>      PATH="$HOME/bin:$PATH"
> fi
> 
> Est ce que la modification est :  PATH="$HOME/bin:$PATH/opt" ---> /opt 
> rajouté
> 
> je devrais, normalement, y rajouter /opt mais je ne voudrais pas faire 
> de bêtise ! :-(
> 
> J'ai également rajouté /opt dans mon $PATH mais, au redémarrage, le 
> "/opt" avait disparu
>