From: Andrea Righi <andrea.righi@canonical.com>
Date: Mon, 11 Dec 2023 13:48:32 +0000 (+0100)
Subject: add an 'sanitize' helper script
X-Git-Tag: v0.2~6
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=19308e060eecdcb95aa75e96fd375986226b9109;p=annotations.git

add an 'sanitize' helper script

Add a simple 'sanitize' script that allows to run the "sanitize binary"
from source without installing anything in the system.

Signed-off-by: Andrea Righi <andrea.righi@canonical.com>
---

diff --git a/kconfig/sanitize.py b/kconfig/sanitize.py
old mode 100755
new mode 100644
diff --git a/sanitize b/sanitize
new file mode 100755
index 0000000..43fb55c
--- /dev/null
+++ b/sanitize
@@ -0,0 +1,21 @@
+#!/usr/bin/env python3
+# -*- mode: python -*-
+
+# This file is not installed; it's just to run annotations from inside a source
+# distribution without installing it in the system.
+
+import os
+from kconfig import sanitize
+
+
+# Update PATH to make sure that annotations can be executed directly from the
+# source directory.
+def update_path():
+    script_dir = os.path.dirname(os.path.abspath(__file__))
+    current_path = os.environ.get("PATH", "")
+    new_path = f"{script_dir}:{current_path}"
+    os.environ["PATH"] = new_path
+
+
+update_path()
+exit(sanitize.main())