Vérification d'exécution sur le bon OS
Mise à jour du bashrc
Merge branch 'master' of https://github.com/filorin/debgozup