Skip to content

Commit

Permalink
Merge remote-tracking branch 'github/python_cli' into python_cli
Browse files Browse the repository at this point in the history
  • Loading branch information
Remi-Gau committed Aug 7, 2024
2 parents 3e2cca2 + 4771715 commit 62c65f3
Showing 1 changed file with 7 additions and 8 deletions.
15 changes: 7 additions & 8 deletions code/main.py
Original file line number Diff line number Diff line change
Expand Up @@ -129,16 +129,15 @@ def main():
log_file.parent.mkdir(parents=True, exist_ok=True)

with log_file.open("w") as log:
cmd = (
str(STANDALONE / "cat_standalone.sh ")
+ file.path
+ f" -b cat_standalone_{command}.m"
)
cmd = [
str(STANDALONE / "cat_standalone.sh"),
file.path,
"-b",
f"cat_standalone_{command}.m",
]
logger.info(cmd)

subprocess.run(
cmd.split(), stdout=log, stderr=subprocess.STDOUT
)
subprocess.run(cmd, stdout=log, stderr=subprocess.STDOUT)

progress.update(subject_loop, advance=1)

Expand Down

0 comments on commit 62c65f3

Please sign in to comment.