nouvelle version de lilypond

Bonjour à tous,

A l'installation de ma distribution (il y a quelques mois) (LinuxMint 123) j'ai installé la version de lilypond qui était dans les dépôts (2.14.2)

Je voudrais passer à une version plus récente et, après avoir correctement désinstallé la version présente sur le système, j'ai téléchargé la 2.17.7-1.linux-x86.sh. et l'ai installé dans /opt.

Je voudrais maintenant actualiser tous mes fichiers et les mettre à la nouvelle version mais le système me dit que "convert-ly n'est pas installé ! (vous pouvez l'installer en tapant "apt-get install lilypond !"

Comment résoudre ce problème ?

Merci de vos réponses

···

--
JJG

Linux ? Y a moins bien mais c'est plus cher !

Il faut ajouter à ton PATH (dans ton fichier .profile) le chemin vers ton nouveau lilypond ...
Philippe

···

Le 29 nov. 2012 à 12:45, Jean-Jacques gerbaud <****@****> a écrit :

Bonjour à tous,

A l'installation de ma distribution (il y a quelques mois) (LinuxMint 123) j'ai installé la version de lilypond qui était dans les dépôts (2.14.2)

Je voudrais passer à une version plus récente et, après avoir correctement désinstallé la version présente sur le système, j'ai téléchargé la 2.17.7-1.linux-x86.sh. et l'ai installé dans /opt.

Je voudrais maintenant actualiser tous mes fichiers et les mettre à la nouvelle version mais le système me dit que "convert-ly n'est pas installé ! (vous pouvez l'installer en tapant "apt-get install lilypond !"

Comment résoudre ce problème ?

Merci de vos réponses
--
JJG

Linux ? Y a moins bien mais c'est plus cher !
Home - Radio Swiss Classic

_______________________________________________
liste de diffusion lilypond-user-fr
lilypond-user-fr@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user-fr

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 ! :frowning:

J'ai également rajouté /opt dans mon $PATH mais, au redémarrage, le "/opt" avait disparu

···

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

--
JJG

Linux ? Y a moins bien mais c'est plus cher !

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 ! :frowning:

J'ai également rajouté /opt dans mon $PATH mais, au redémarrage, le
"/opt" avait disparu

Bonjour à tous,

Un :

export PATH=$PATH:~/opt

en fin du fichier .profile ne suffirait pas ?

Hope this helps...

Philippe

···

Le Jeu 29 novembre 2012 13:38, Jean Bréfort a écrit :

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 ! :frowning:

J'ai également rajouté /opt dans mon $PATH mais, au redémarrage, le
"/opt" avait disparu

_______________________________________________
liste de diffusion lilypond-user-fr lilypond-user-fr@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user-fr

non, "it did not help !" mais je réponds à Jean Bréfort tout de suite.

···

Le 29/11/2012 19:33, Philippe Neyrat a écrit :

Bonjour à tous,

Un :

export PATH=$PATH:~/opt

en fin du fichier .profile ne suffirait pas ?

Hope this helps...

--
JJG

Linux ? Y a moins bien mais c'est plus cher !

Je remercie Jean Bréfort qui m'a donné la réponse qu'il fallait sauf que ....... sa solution a semé la pagaille dans les applets de Gnome (qui utilise Python).

La bonne solution était
PATH="$PATH/opt/bin"

De cette manière, la recherche du système prend /opt/bin en dernier ! ( La réponse m'a été donnée par Philippe)

Et voilà ! Merci à tous de votre aide.

···

Le 29/11/2012 13:38, Jean Bréfort a écrit :

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

--
JJG

Linux ? Y a moins bien mais c'est plus cher !

Je me permets de corriger un petit détail, la liste étant publique, autant donné la meilleure information possible.

La solution est PATH="$PATH:/opt/bin"

Explication : pour que les applets Gnome fonctionne, il a besoin d'un python et il lui faut aller chercher celui du système plutôt que celui fournie en plus dans le dossier /opt/bin

@ bientôt, Philippe

···

Le 30 nov. 2012 à 13:07, Jean-Jacques gerbaud <****@****> a écrit :

Le 29/11/2012 13:38, Jean Bréfort a écrit :

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

Je remercie Jean Bréfort qui m'a donné la réponse qu'il fallait sauf que ....... sa solution a semé la pagaille dans les applets de Gnome (qui utilise Python).

La bonne solution était
PATH="$PATH/opt/bin"

De cette manière, la recherche du système prend /opt/bin en dernier ! ( La réponse m'a été donnée par Philippe)

Et voilà ! Merci à tous de votre aide.

--
JJG

Linux ? Y a moins bien mais c'est plus cher !
Home - Radio Swiss Classic

Bonjour à tous,

je ne connais pas linuxmint mais comme c'est basé sur debian, je me disais qu'un "export" était nécessaire, comme ça l'est sous debian dans le .bashrc (non-login shells).

Y'a pas besoin d'export ?

Pourquoi ?

Merci.

Philippe

PS : dans mon post, je proposais :
export PATH=$PATH:~/opt

alors que j'aurais dû proposer
export PATH=$PATH:~/opt/bin

Désolé :slight_smile:

···

Le 30/11/2012 13:56, Philippe Nenert a écrit :

Je me permets de corriger un petit détail, la liste étant publique, autant donné la meilleure information possible.

La solution est PATH="$PATH:/opt/bin"

Explication : pour que les applets Gnome fonctionne, il a besoin d'un python et il lui faut aller chercher celui du système plutôt que celui fournie en plus dans le dossier /opt/bin

@ bientôt, Philippe

Le 30 nov. 2012 à 13:07, Jean-Jacques gerbaud<****@****> a écrit :

Le 29/11/2012 13:38, Jean Bréfort a écrit :
     

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

Je remercie Jean Bréfort qui m'a donné la réponse qu'il fallait sauf que ....... sa solution a semé la pagaille dans les applets de Gnome (qui utilise Python).

La bonne solution était
PATH="$PATH/opt/bin"

De cette manière, la recherche du système prend /opt/bin en dernier ! ( La réponse m'a été donnée par Philippe)

Et voilà ! Merci à tous de votre aide.

--
JJG

Linux ? Y a moins bien mais c'est plus cher !
Home - Radio Swiss Classic
     
_______________________________________________
liste de diffusion lilypond-user-fr
lilypond-user-fr@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user-fr

--
Propulsé par l'Association Sud-Ouest.org
Plateforme Libre d'hébergement mail à prix libre
  https://www.sud-ouest.org