« .bashrc » : différence entre les versions

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