From 79264373806a2aa345de8de8798e32ed37e8407d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Am=C3=A9lia=20Coutard-Sander?= Date: Mon, 25 Nov 2024 22:01:09 +0100 Subject: [PATCH] "Fix" fetch issues --- git-remote-gnunet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git-remote-gnunet b/git-remote-gnunet index 23add18..9c60fcb 100755 --- a/git-remote-gnunet +++ b/git-remote-gnunet @@ -28,4 +28,4 @@ fi peer="$(echo "$server" | cut -d: -f1)" port="$(echo "$server" | cut -d: -f2)" echo >&2 "Attempting to connect to peer $peer, on port $port-$arg." -exec gnunet-cadet "$peer" "$port-$arg" +(stdbuf -i0 -o0 -e0 cat; sleep 0.01) | gnunet-cadet "$peer" "$port-$arg" -- 2.46.0