proper quoting of array expansion -- allow spaces in components;
authorwenzelm
Sat Nov 28 18:17:10 2009 +0100 (2009-11-28)
changeset 3391544a10fe6bd10
parent 33914 d17f447fec02
child 33916 a2fc533175ff
proper quoting of array expansion -- allow spaces in components;
bin/isabelle
lib/Tools/findlogics
     1.1 --- a/bin/isabelle	Sat Nov 28 17:59:02 2009 +0100
     1.2 +++ b/bin/isabelle	Sat Nov 28 18:17:10 2009 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4    echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
     1.5    echo
     1.6    echo "  Available tools are:"
     1.7 -  for DIR in ${TOOLS[@]}
     1.8 +  for DIR in "${TOOLS[@]}"
     1.9    do
    1.10      if [ -d "$DIR" ]; then
    1.11        for TOOL in "$DIR"/*
     2.1 --- a/lib/Tools/findlogics	Sat Nov 28 17:59:02 2009 +0100
     2.2 +++ b/lib/Tools/findlogics	Sat Nov 28 18:17:10 2009 +0100
     2.3 @@ -39,4 +39,4 @@
     2.4    done
     2.5  done
     2.6  
     2.7 -echo $({ for L in ${LOGICS[@]}; do echo "$L"; done; } | sort | uniq)
     2.8 +echo $({ for L in "${LOGICS[@]}"; do echo "$L"; done; } | sort | uniq)