diff --git a/automate.sh b/automate.sh index 2d4417b..0572acf 100644 --- a/automate.sh +++ b/automate.sh @@ -2,6 +2,11 @@ # Script utilisé pour "automatiser" (raccourcir) le processus de pull, d'ajout, de commit et de push pour le répositoire Gitea personnel. # Ajout de messages et de délais pour mieux se repérer et se situer dans le processus. # Ajout d'un système de choix +# Ajout d'un export de prxy HTTP/HTTPS automatique vers ceux du lycée pour la machine en salle 214. + +export http_proxy="http://10.121.38.1:8080/" +export https_proxy="http://10.121.38.1:8080/" + echo "Voulez-vous récupérer les fichiers à jour ou effectuer un push ? [1 = Pull, 2 = Push]"