1 files changed, 18 insertions, 0 deletions
diff --git a/scripts/functions b/scripts/functions
index 0bc16f7f..ba92d118 100644
--- a/scripts/functions
+++ b/scripts/functions
@@ -159,6 +159,24 @@ CT_SanitizePath() {
     PATH="${new}"
 }
 
+# Sanitise the directory name contained in the variable passed as argument:
+# - remove duplicate /
+# Usage: CT_SanitiseVarDir CT_PREFIX_DIR
+CT_SanitiseVarDir() {
+    local var
+    local old_dir
+    local new_dir
+
+    for var in "$@"; do
+        eval "old_dir=\"\${${var}}\""
+        new_dir="$( printf "${old_dir}"     \
+                    |sed -r -e 's:/+:/:g;'  \
+                  )"
+        eval "${var}=\"${new_dir}\""
+        CT_DoLog DEBUG "Sanitised '${var}': '${old_dir}' -> '${new_dir}'"
+    done
+}
+
 # Abort the execution with an error message
 # Usage: CT_Abort <message>
 CT_Abort() {