diff options
author | Lars Wirzenius <liw@liw.fi> | 2024-01-09 11:59:38 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2024-01-09 11:59:38 +0200 |
commit | 3cd0e9d954713871970bd85791515957de3ac411 (patch) | |
tree | 4673424117578485d55b4f2642e82121f9bdc858 | |
parent | 862626d7edde4e5f264325082cafcd991bf1a3b3 (diff) | |
download | wumpus-hunter-3cd0e9d954713871970bd85791515957de3ac411.tar.gz |
fix: drop spurious $ from log file name
Was a typo.
Signed-off-by: Lars Wirzenius <liw@liw.fi>
-rwxr-xr-x | wumpus-hunter | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wumpus-hunter b/wumpus-hunter index d1225d2..c701435 100755 --- a/wumpus-hunter +++ b/wumpus-hunter @@ -198,7 +198,7 @@ def rename_log(log, dirname, commit): commit_dir = os.path.join(dirname, f"log-{commit}") if not os.path.exists(commit_dir): os.mkdir(commit_dir) - timestamp = time.strftime("%Y-$%m-%dT%H:%M:%S") + timestamp = time.strftime("%Y-%m-%dT%H:%M:%S") run_log = os.path.join(commit_dir, f"log-{timestamp}.txt") os.rename(log, run_log) |