#fonction utile pour ajouter un path à mettre dans le .bashrc pathadd() { if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then PATH="${PATH:+"$PATH:"}$1" fi } #exemple pathadd $HOME/bin pathadd $HOME/bin/conti pathadd $HOME/bin/opensources #renseigner les alias #example alias fl='filelist.pl'