From 64fa760432b689fadd87c15796a187aaeaa64365 Mon Sep 17 00:00:00 2001 From: Guillaume Emorine Date: Fri, 12 Apr 2024 09:24:43 +0200 Subject: [PATCH] =?UTF-8?q?=09Modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?= =?UTF-8?q?=20automate.sh?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- automate.sh | 5 +++++ 1 file changed, 5 insertions(+) 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]"