Changed rmexp tool to be compatible with Debian's /bin/sh (dash)

rmexp

@@ -22,10 +22,10 @@ shift
 
 eval `getexp -v "$CONFIG" "$@" || echo \; exit $?`
 
-function ask_and_remove {
-    typeset label="$1"
-    typeset dir="$2"
-    if [[ -d "$dir" ]]
+ask_and_remove () {
+    label="$1"
+    dir="$2"
+    if [ -d "$dir" ]
     then
         echo "Info for ${EXP_ID}'s $label directory:"
         ( cd "$dir" && du -h --time )