scripts/functions
changeset 2280 3d480d12124e
parent 2205 62b3f52315b3
child 2307 2efd46963086
child 2398 9bafe9c8f0b3
     1.1 --- a/scripts/functions	Mon Nov 29 00:26:39 2010 +0100
     1.2 +++ b/scripts/functions	Tue Jan 25 21:59:03 2011 +0100
     1.3 @@ -159,6 +159,24 @@
     1.4      PATH="${new}"
     1.5  }
     1.6  
     1.7 +# Sanitise the directory name contained in the variable passed as argument:
     1.8 +# - remove duplicate /
     1.9 +# Usage: CT_SanitiseVarDir CT_PREFIX_DIR
    1.10 +CT_SanitiseVarDir() {
    1.11 +    local var
    1.12 +    local old_dir
    1.13 +    local new_dir
    1.14 +
    1.15 +    for var in "$@"; do
    1.16 +        eval "old_dir=\"\${${var}}\""
    1.17 +        new_dir="$( printf "${old_dir}"     \
    1.18 +                    |sed -r -e 's:/+:/:g;'  \
    1.19 +                  )"
    1.20 +        eval "${var}=\"${new_dir}\""
    1.21 +        CT_DoLog DEBUG "Sanitised '${var}': '${old_dir}' -> '${new_dir}'"
    1.22 +    done
    1.23 +}
    1.24 +
    1.25  # Abort the execution with an error message
    1.26  # Usage: CT_Abort <message>
    1.27  CT_Abort() {