From aaecfdb63ecd62a2b1ac9bda8222c67c2a108861 Mon Sep 17 00:00:00 2001 From: Alex Pyrgiotis Date: Thu, 2 Mar 2023 17:44:32 +0200 Subject: [PATCH] dev_scripts: Immitate mkdir -p when creating state dirs The first time we run the env.py script, we may not have the necessary dirs under envs. It's best to create them with `parents=True`. --- dev_scripts/env.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev_scripts/env.py b/dev_scripts/env.py index 18fc666..788f968 100755 --- a/dev_scripts/env.py +++ b/dev_scripts/env.py @@ -371,7 +371,7 @@ class Env: print(" ".join(self.runtime_cmd + list(run_cmd))) return - dist_state.mkdir(exist_ok=True) + dist_state.mkdir(parents=True, exist_ok=True) (dist_state / "containers").mkdir(exist_ok=True) (dist_state / ".bash_history").touch(exist_ok=True) self.runtime_run(*run_cmd)