PUSH_MODIFS 648 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

# On fait ca sur la branche dev (et non pas master sur laquelle de toute facon on ne pourrait pas push)
git checkout dev
git add .
git commit -m "Ajout de mes modifications (LABO EXTERNE)"
git push

# Retour a la branche master
git checkout master
echo