diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2024-10-01 13:42:21 +0200 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2024-10-01 13:42:21 +0200 |
| commit | 419918fc0efa2e18cf05f24b8d6e0d7a178cac73 (patch) | |
| tree | 1542cbe6911e14bab10b81202bec23c00f354ad3 | |
| parent | 04fbc2ddae298b048cc5449045527bd717ba94be (diff) | |
checkpoint
| -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 |