4 - Shell

Le dossier « bin » personnel

La plupart des environnements offrent par défaut la possibilité de créer un dossier « bin » (contenant des fichiers exécutables, appelés « binaires » quand ils sont compilés) dans son dossier personnel :

# @client
mkdir ~/.local/bin

Une fois ce dossier créé, relancer votre session. Désormais votre dossier « bin » personnel doit apparaitre dans le PATH :

# @client
echo $PATH
/home/user/.local/bin:...

C'est le fichier .profile ou .bash_profile qui, généralement, vérifie la présence d'un dossier bin et l'ajoute au PATH :

# @client
cat .profile 
# (...)

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/.local/bin" ] ; then
    PATH="$HOME/.local/bin:$PATH"
fi

Dans la version ci-dessus, on peut constater que l'existance des dossier ~/bin et ~/.local/bin est testée avant un éventuel ajout au PATH.

Une fois qu'un tel dossier est présent dans votre PATH, vous pouvez y déposer vos script afin de ne plus avoir à préciser leurs chemin à l'exécution. Alors, vous n'aurez plus besoin de préfixer leurs exécutions du classique ./

# @client
printf '#! /usr/bin/env bash\nprintf "Hello world !\\n"\nexit 0\n' > ~/.local/bin/hello
chmod +x ~/.local/bin/hello
hello
Hello world !
cd /usr/share/doc
hello
Hello world !
cd ~