#!/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"