Problème avec un raccourci

Bonjour genevrier

C’est sans doute parce que le chemin ~/bin n’est pas présent dans le PATH

À la fin de ton fichier ~/.bashrc
ajoute les lignes de commandes suivantes :

# if not yet include, 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