PUSH_MODIFS 461 Bytes
#!/usr/bin/env bash

# 1) Mise à jour du code source actuel
echo
echo "Mise à jour du code source actuel :"
./UPDATE
echo

# 2) Envoi de mes modifs (sur la branche en cours, a priori master)
echo
echo "Voulez-vous vraiment envoyer ces modifications sur le dépot officiel du logiciel LabInvent (o/n) ? [o]"
read do_it ; [[ -z $do_it ]] && do_it="o"
#echo $do_it
[[ $do_it != "o" ]] && exit 0
git add .
git commit -m "Ajout de mes modifications"
git push
echo