Modifié : automate.sh
This commit is contained in:
parent
8e7ec6a8cd
commit
64fa760432
@ -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]"
|
||||
|
Loading…
x
Reference in New Issue
Block a user