blob: bc5c9c9b96272ac224e6516598e22b14017b4d4d (
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
|
#!/bin/sh
# path to repo
repo="$1"
shift 2>/dev/null || exit 1
# git command
command="$1"
shift 2>/dev/null || exit 1
args="$*"
repo_pretty="$(printf '%s' "$repo" | sed "s@^$HOME@~@")"
if [ ! -d "$repo" ]; then
printf '%s: missing\n' "$repo_pretty"
exit 1
fi
# Check if repo's remote's key is in ssh-agent
# If key is not registered and command is push/pull we exit with error
r="$(grep "$repo" "$REPOS" | cut -f 2 -d ' ' | cut -f 2 -d '@' | cut -f 1 -d ':')"
if { [ "$command" = "push" ] || [ "$command" = "pull" ]; } &&
# In my ssh config every Host has the same name as its private key. This means remotes in
# "$REPOS" (here "$r") + .pub is the public key, so we convert the name to what would be the
# public key's name and check if its contents are registered in the ssh-agent.
[ -r "$HOME/.ssh/$r.pub" ] &&
! ssh-add -L | grep "$(cat "$HOME/.ssh/$r.pub")" > /dev/null
then
printf '%s: key not added\n' "$repo_pretty"
exit 1
fi
git -C "$repo" "$command" $args >/dev/null 2>&1
[ $? -gt 0 ] && s="x" || s="o"
printf '%s: %s\n' "$repo_pretty" "$s"
|
