diff options
| -rwxr-xr-x | bin/common/gt-cmd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common/gt-cmd b/bin/common/gt-cmd index bc5c9c9..74b5f78 100755 --- a/bin/common/gt-cmd +++ b/bin/common/gt-cmd @@ -25,7 +25,7 @@ if { [ "$command" = "push" ] || [ "$command" = "pull" ]; } && [ -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" + printf '%s: '\''%s'\'' not in ssh-agent\n' "$repo_pretty" "$r" exit 1 fi |