another attempt at fixing windows encodings #5

KWARC · Mar 1, 2023 · 23d3dac · 23d3dac
1 parent 1d3c74a
commit 23d3dac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gf_kernel/GFRepl.py b/gf_kernel/GFRepl.py
@@ -18,14 +18,14 @@ def __init__(self):
         self.to_clean_up = ['.dot', '.png', '.gfo']
 
         self.pipe = os.pipe()
-        self.gf_shell = Popen((find_executable('gf'), '--run'),
+        self.gf_shell = Popen((find_executable('gf'), '--run', '--coding=utf8'),
                               stdin=PIPE,
                               stderr=self.pipe[1],
                               stdout=self.pipe[1],
                               text=True,
                               encoding='utf-8')
         self.commandcounter = 0
-        self.infile = os.fdopen(self.pipe[0])
+        self.infile = os.fdopen(self.pipe[0], encoding='utf-8')
 
         # catch any initial messages
         sep = self.write_separator()