[scripts/util] add 'trim()' helper

2025-08-05 21:55:05 +02:00
parent 3dd1372a0b
commit 253d498a4e
3 changed files with 7 additions and 7 deletions
--- a/scripts/util.py
+++ b/scripts/util.py
@@ -19,6 +19,10 @@ def path(*segments):
    return result


+def trim(path):
+    return path[len(ROOTDIR)+1:]
+
+
 def open(path, mode="r"):
    return builtins.open(path, mode, encoding="utf-8", newline="\n")