From 419918fc0efa2e18cf05f24b8d6e0d7a178cac73 Mon Sep 17 00:00:00 2001
From: Raymaekers Luca <raymaekers.luca@gmail.com>
Date: Tue, 1 Oct 2024 13:42:21 +0200
Subject: checkpoint

---
 bin/common/gt-cmd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

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
 
-- 
cgit v1.2.3