From 24308d1f5946e1f4dded4621ab0c54095a909b90 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Mon, 15 Aug 2022 17:44:23 +0200
Subject: [PATCH] POSIX.BASH redirect stdout to stderr

---
 Program.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Program.cs b/Program.cs
index f17aeb4..ede69ac 100644
--- a/Program.cs
+++ b/Program.cs
@@ -68,6 +68,7 @@ static class POSIX
 		process.StartInfo.RedirectStandardInput = true;
 		process.Start();
 		TextWriter stdin = process.StandardInput;
+		stdin.WriteLine("exec 1> /dev/stderr");
 		stdin.Write(cmd);
 		stdin.Close();
 	}
-- 
GitLab