21 lines
576 B
Python
21 lines
576 B
Python
import os
|
|
|
|
def flags_dir(workspace: str) -> str:
|
|
d = os.path.join(workspace, "_flags")
|
|
os.makedirs(d, exist_ok=True)
|
|
return d
|
|
|
|
def flag_path(workspace: str, name: str) -> str:
|
|
return os.path.join(flags_dir(workspace), name)
|
|
|
|
def is_set(workspace: str, name: str) -> bool:
|
|
return os.path.exists(flag_path(workspace, name))
|
|
|
|
def set_flag(workspace: str, name: str) -> None:
|
|
open(flag_path(workspace, name), "a").close()
|
|
|
|
def clear_flag(workspace: str, name: str) -> None:
|
|
p = flag_path(workspace, name)
|
|
if os.path.exists(p):
|
|
os.remove(p)
|