[WS] Add script to cleanup (unsetup?) workspace

git-svn-id: svn://kolibrios.org@9371 a494cfbc-eb01-0410-851d-a64ba20cac60
This commit is contained in:
Magomed Kostoev (mkostoevr) 2021-12-03 16:37:11 +00:00
parent 4e971e9d6d
commit 4423618681

21
_tools/cleanup.py Executable file
View File

@ -0,0 +1,21 @@
#!/usr/bin/python3
import os
import sys
import shutil
if len(sys.argv) < 2 or sys.argv[1] != "--remove-everything":
print(f"Please call `{sys.argv[0]} --remove-everything` if you really want to remove all your workspace files")
exit()
# Remove workspace folder
shutil.rmtree("workspace", ignore_errors = True)
# TODO: Make build.py remove the stuff it built
# Remove files copied from _tools/workspace
tools = os.path.dirname(os.path.realpath(__file__))
tools_workspace = os.path.join(tools, "workspace")
for copied_script in os.listdir(tools_workspace):
if os.path.exists(copied_script):
os.remove(copied_script)