Skip to content

Make Directory Name More Unique #60

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
michaelmckinsey1 merged 3 commits into from
Mar 3, 2026
Merged

Make Directory Name More Unique #60

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
68a3d17
add ms to dirname
michaelmckinsey1 Jan 29, 2026
793d426
Try uuid
michaelmckinsey1 Feb 23, 2026
a962591
rm print
michaelmckinsey1 Feb 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions hpc_launcher/schedulers/scheduler.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@
import tempfile
import subprocess
import shutil
import uuid
from hpc_launcher.cli.console_pipe import run_process_with_live_output
from hpc_launcher.schedulers import parse_env_list

Expand Down Expand Up @@ -473,8 +474,9 @@ def create_launch_folder_name(
folder_name = os.getcwd()
elif launch_dir == "":
# Create a folder for the output and error logs
# Timestamp is of the format YYYY-MM-DD_HHhMMmSSs
folder_name = f'{folder_prefix}-{self.job_name or command_as_folder_name}_{time.strftime("%Y-%m-%d_%Hh%Mm%Ss")}'
# Timestamp is of the format YYYY-MM-DD_HHhMMmSSs_UUID
short_uuid = uuid.uuid4().hex[:8]
folder_name = f'{folder_prefix}-{self.job_name or command_as_folder_name}_{time.strftime("%Y-%m-%d_%Hh%Mm%Ss")}_{short_uuid}'
else:
folder_name = launch_dir

Expand Down