diff --git a/exec/file.py b/exec/file.py index 8471288..f67b128 100644 --- a/exec/file.py +++ b/exec/file.py @@ -138,7 +138,7 @@ def remove_file(path: str, recursive=False): rm = rmtree if recursive else os.unlink rm(path) # type: ignore except: - cmd = ['rm'] + (['-r'] if recursive else []) + [path] + cmd = ['rm', *(['-r', '--one-file-system'] if recursive else []), path] rc = run_root_cmd(cmd).returncode if rc: raise Exception(f"Unable to remove {path}: cmd returned {rc}")