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

Posté par . Licence CC by-sa.
2
12
mai
2019

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 . É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
    

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.