blob: e032c7fced69d4b81f82fb39a0cdf8efd99f4d88 (
plain)
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
#!/bin/bash
#
# Keep git remotes in sync among media archives.
#
# Parameters
BASENAME="$0"
DEST="$1"
MEDIA="/var/cache/media"
# Syntax
if [ -z "$DEST" ]; then
echo "usage: $BASENAME <dest>"
exit 1
elif [ ! -d "$DEST/$MEDIA" ]; then
echo "folder $DEST/$MEDIA does not exist."
exit 1
fi
# Run
for folder in `ls $MEDIA`; do
if [ -d "$DEST/$MEDIA/$folder/.git" ]; then
# Add new remotes
git -C $MEDIA/$folder remote -v | while read remote; do
cd $DEST/$MEDIA/$folder
name="`echo $remote | cut -d ' ' -f 1`"
addr="`echo $remote | cut -d ' ' -f 2`"
type="`echo $remote | cut -d ' ' -f 3`"
if [ "$type" == "(push)" ]; then
command="set-url --add --push"
else
command="add"
fi
if ! git remote -v | sed -e 's/\t/ /g' | grep -q "^$name $addr $type$"; then
# This might not sync everything in the first run as some weird behavior
# happens according to this example:
#
# mkdir test && cd test
# git init
# git remote add origin git.example.org:test
# git remote set-url --add --push origin test.example.org:test
# git remote -v
#
# Expected output:
#
# origin git.example.org:test (fetch)
# origin git.example.org:test (push)
# origin test.example.org:test (push)
#
# Actual output:
#
# origin git.example.org:test (fetch)
# origin test.example.org:test (push)
#
# You can get the expected output by doing this additional step:
#
# git remote set-url --add --push origin git.example.org:test
git remote $command $name $addr
fi
done
# Delete old remotes
git -C $DEST/$MEDIA/$folder remote -v | while read remote; do
cd $MEDIA/$folder
name="`echo $remote | cut -d ' ' -f 1`"
addr="`echo $remote | cut -d ' ' -f 2`"
type="`echo $remote | cut -d ' ' -f 3`"
if [ "$type" == "(push)" ]; then
command="set-url --delete"
arg="$addr"
else
command="remove"
arg=""
fi
if ! git remote -v | sed -e 's/\t/ /g' | grep -q "^$name $addr $type$"; then
# Check if was not already removed by a previous command
if git -C $DEST/$MEDIA/$folder remote | grep -q "^$name$"; then
git -C $DEST/$MEDIA/$folder remote $command $name $arg
fi
fi
done
fi
done
|
