-
Notifications
You must be signed in to change notification settings - Fork 35
/
update.sh
executable file
·64 lines (59 loc) · 2.05 KB
/
update.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
#!/bin/bash
#Script d'update pour git
branch_default="master" # nom de la branche sur laquelle faire la màj
if [ -n "$1" ]
then
if [ "$1" = "-h" ]
then
echo "Script de mise à jour du dépôt du syllabus concernant le cours de Calculabilité LINGI1123"
echo "donné par le Professeur Yves Deville à l'UCL, l'Université Catholique de Louvain,"
echo "et disponible à l'URL suivante : https://github.com/UCL-INGI/LINGI1123-Calculabilite"
echo "\nIl configure automatiquement une remote upstream et une branche master"
echo "si ceux-ci ne sont pas définis et met à jour le dépôt local sur cette branche master."
echo "\nUTILISATION: sh update.sh [OPTIONS | NOM-BRANCHE]"
echo "[OPTIONS]: -h: affiche l'aide"
echo "[NOM-BRANCHE]: Nom de la branche sur laquelle il faudrait effectuer les modifications"
echo "(par défault il s'agit de master)"
exit 0
else
branch_default=$1
fi
fi
URL="https://github.com/UCL-INGI/LINGI1123-Calculabilite.git"
# On vérifie qu'il existe bien une remote upstream pointant vers le dépôt
remote=$(git remote)
rep=$(echo $remote | grep -o "upstream")
#Si une branche s'appelle upstream, grep nous le dira sinon ce sera une ligne blanche
#echo $rep
if [ -n "$rep" ]
then
# rep est non nul, donc il existe une remote s'appellant upstream
urlUpstream=$(git remote get-url $rep)
if [ "$urlUpstream" != $URL ]
then
git remote remove upstream
git remote add upstream $URL
echo "remote upstream modifiée pour l'url $URL"
fi
else
# rep est nul, il faut créer une remote upstream
git remote add upstream $URL
echo "remote upstream ajoutée pour l'url $URL"
fi
# On vérifie qu'il existe bien une branche master
branch=$(git branch)
rep2=$(echo $branch | grep -o $branch_default)
if [ -z "$rep2" ]
then
git checkout -b $branch_default
fi
git fetch upstream
git merge upstream/$branch_default
# Push automatiquement les modifications locales (c'est à dire les commits créés ou reçu depuis le dépôt central)
# Vers le fork
rep3=$(echo $remote | grep -o "origin")
if [ -n "$rep3" ]
then
git push origin $branch_default
fi
exit 0