Skip to content

Commit

Permalink
Fix issue with bad pate commands. Should be more robust now.
Browse files Browse the repository at this point in the history
  • Loading branch information
jim-carciofini committed Feb 28, 2024
1 parent c71fc9c commit 94bf747
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pate_binja/pate.py
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ def _run_live(self):
# We use a helper script to run logic in the user's shell environment.
script = os.path.join(os.path.dirname(os.path.abspath(__file__)), "run-pate.sh")
# Need -l to make sure user's env is fully setup (e.g. access to docker and ghc tools).
with open(os.path.join(cwd, "lastrun.replay"), "w") as trace:
with open(os.path.join(cwd, "lastrun.replay"), "w", encoding='utf-8') as trace:
with Popen(['/bin/bash', '-l', script, '-o', original, '-p', patched, '--json-toplevel'] + args,
cwd=cwd,
stdin=PIPE, stdout=PIPE,
Expand Down

0 comments on commit 94bf747

Please sign in to comment.