From 2d8eaff4bcbe90355754783ba88f1c69683dc2a7 Mon Sep 17 00:00:00 2001 From: Florian Traverse Date: Mon, 2 May 2022 16:25:28 +0200 Subject: [PATCH] aliases.sh: allow shell pipe to work Signed-off-by: Florian Traverse --- git-extra/aliases.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/git-extra/aliases.sh b/git-extra/aliases.sh index 7eb25ea3ba..57914ed621 100755 --- a/git-extra/aliases.sh +++ b/git-extra/aliases.sh @@ -15,7 +15,9 @@ xterm*) case "$(type -p "$name".exe 2>/dev/null)" in ''|/usr/bin/*) continue;; esac - alias $name="winpty $name.exe" + # The -Xallow-non-tty undocumented switch allows + # for pipe '|' to work as expected with those commands + alias $name="winpty -Xallow-non-tty $name.exe" done ;; esac