Merge pull request 'Modifications: automate.sh' (#11) from test into main
Reviewed-on: #11
This commit is contained in:
commit
123181d3c0
@ -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/"
|
||||
@ -28,7 +28,7 @@ if [ $branch == 1 ] ; then
|
||||
git commit
|
||||
echo "Push des fichiers au Gitea, branche main..."
|
||||
sleep 2
|
||||
git push origin main
|
||||
git push -q origin main
|
||||
fi
|
||||
else
|
||||
if [ $answer == 1 ] ; then
|
||||
@ -45,6 +45,6 @@ else
|
||||
git commit
|
||||
echo "Push des fichiers au Gitea, branche test..."
|
||||
sleep 2
|
||||
git push origin test
|
||||
git push -q origin test
|
||||
fi
|
||||
fi
|
Loading…
x
Reference in New Issue
Block a user