[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: modification du path
From: |
René Bastian |
Subject: |
Re: modification du path |
Date: |
Sat, 22 Jun 2013 09:23:49 +0200 |
Le Sat, 22 Jun 2013 07:39:20 +0200,
Daniel Cartron <address@hidden> a écrit :
> Le vendredi 10 mai 2013 19:06:52 René Bastian a écrit :
> > Pour me faciliter la vie, j'ai un répertoire ~/bin/
> > que j'ai mis dans le PATH en éditant le fichier ~/.profile.
> > Si c'est pas clair, je peux fournir un exemple.
>
> Bonjour,
>
> Finalement je vais faire ça aussi, puisque je ne trouve pas d'autre
> solution simple.
avec un /home/<utilisateur>/bin est la solution la plus simple;
>
> J'ai vérifié mon ~/.profile et il contient
> # set PATH so it includes user's private bin if it exists
> if [ -d "$HOME/bin" ] ; then
> PATH="$HOME/bin:$PATH"
> fi
>
> pour autant le répertoire ~/bin n'est pas inclus dans le PATH (j'ai
> changé de connexion bien entendu).
>
c'est étonnant; y a-t-il un autre fichier de
configuration (p.ex. .bashrc) qui pourrait contredire ?
> Donc si tu pouvais me dire comment tu fais ça m'aiderai.
>
rb