From d6fbb4f9fc6e182f47346ab639156e67e1255a79 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Mon, 25 Nov 2024 20:33:04 +0100 Subject: [PATCH] Exec `gnunet-cadet` instead of just running it --- git-remote-gnunet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git-remote-gnunet b/git-remote-gnunet index 58997c2..2162679 100755 --- a/git-remote-gnunet +++ b/git-remote-gnunet @@ -27,4 +27,4 @@ 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 -gnunet-cadet "$peer" "$port-$arg" +exec gnunet-cadet "$peer" "$port-$arg" -- 2.46.0