#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'