From 5a72d2b706b726549074812b14f9fdda42e3baea Mon Sep 17 00:00:00 2001 From: "guillaume.emorine" Date: Mon, 29 Apr 2024 10:32:10 +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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automate.sh b/automate.sh index e09c02a..a77242b 100644 --- a/automate.sh +++ b/automate.sh @@ -2,7 +2,7 @@ # 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. +# Ajout d'un export de proxy 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/"