summaryrefslogtreecommitdiff
path: root/bin/common/gt-cmd
blob: 74b5f78cb732fe1927aa81d94fd369c4722769a6 (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: '\''%s'\'' not in ssh-agent\n' "$repo_pretty" "$r" 
    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"