Ajouter un répertoire à la variable PATH


echo 'export PATH=$PATH:/home/user/mes_prog' >> /home/user/.bashrc