Skip to content

Commit

Permalink
Don't require input if -delete-workdir is passed
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed May 10, 2024
1 parent e8c7a6d commit 17151e9
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions src/python/replay_merge.py
Original file line number Diff line number Diff line change
Expand Up @@ -95,9 +95,12 @@ def merge_replay(
logger.info(
f"workdir {WORKDIR_DIRECTORY / workdir} already exists for idx: {merge_idx}"
)
answer = input(
f"workdir {workdir} exists for idx: {merge_idx}. Delete it? (y/n)"
)
if delete_workdir:
answer = "y"
else:
answer = input(
f"workdir {workdir} exists for idx: {merge_idx}. Delete it? (y/n)"
)
if answer == "y":
shutil.rmtree(WORKDIR_DIRECTORY / workdir)
else:
Expand Down

0 comments on commit 17151e9

Please sign in to comment.