Ne prend pas en charge commande spécifique malgré "source .profile"

Bonjour,

J'ai compilé ffmpeg en suivant cette méthode trac.ffmpeg.org

Je me retrouve maintenant à devoir aller dans /home/bin et taper la commande sous la forme ./ffmpeg car il ne la trouve pas sinon.

D'après mes recherches, la commande {$source .profile} dit à bash d'aller chercher dans ~/bin, où est située ma commande. Mon fichier .profile contient bien ces lignes à la fin
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
PATH="$HOME/bin:$PATH"
fi

et je n'ai pas de fichier "bash_login".

J'aimerais comprendre ce qui cloche, et comment définir proprement l'emplacement d'une commande pour que mon terminal (terminal xfce) la trouve lorsque je la lance.

Merci à vous !

# non login shell

Posté par MicP le 12 mai 2019 à 12:16. Évalué à 6.

Bonjour pierreplr

…à devoir aller dans /home/bin …

Je suppose que tu voulais plutôt écrire :$HOME/bin
ou bien : ~/bin
ou bien : /home/NomCompteUtilisateur/bin

=======
Si tu utilises une fenêtre d'émulateur de terminal lancée depuis l'Environnement de Bureau,
le shell utilisé dans cette fenêtre n'est pas un login shell
ce qui fait que ton fichier ~/.profile n'aura pas été pris en compte.

Si tu veux que dans ce cas le répertoire ~/bin soit ajouté dans le PATH
tu peux ajouter dans ton fichier ~/.bashrc
les quelques lignes suivantes :

# If not yet set, set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    [[ "$PATH" =~ "$HOME/bin" ]] || export PATH="$HOME/bin:$PATH"
fi