From 1579d1e8ff6181d686de578bc93b39100bc38833 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Mon, 25 Nov 2024 21:56:15 +0100 Subject: [PATCH] Change logging a bit for git-remote-gnunet --- git-remote-gnunet | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/git-remote-gnunet b/git-remote-gnunet index 2162679..23add18 100755 --- a/git-remote-gnunet +++ b/git-remote-gnunet @@ -19,12 +19,13 @@ while read -r cmd arg; do done echo '' +echo >&2 "Looking up $gns." server="$(gnunet-gns -u "$gns" -t TXT -r)" if test -z "$server"; then - echo "Address lookup failed: \`$gns'." >&2 + echo >&2 "Address lookup failed: \`$gns'." exit 1 fi peer="$(echo "$server" | cut -d: -f1)" port="$(echo "$server" | cut -d: -f2)" -echo "Attempting to connect to peer $peer, on port $port-$arg." >&2 +echo >&2 "Attempting to connect to peer $peer, on port $port-$arg." exec gnunet-cadet "$peer" "$port-$arg" -- 2.46.0