From 4eae9ec679b594887cdb89625abdab70f2169578 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 2 Sep 2000 20:06:01 +0000
Subject: more quoting;

---
 isa/interface  | 6 +++---
 isar/interface | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/isa/interface b/isa/interface
index afd77142..3577fc39 100644
--- a/isa/interface
+++ b/isa/interface
@@ -7,7 +7,7 @@
 
 ## diagnostics
 
-PRG=$(basename $0)
+PRG=$(basename "$0")
 
 function usage()
 {
@@ -38,7 +38,7 @@ function fail()
 
 ## process command line
 
-export PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
+export PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo "$PWD")
 
 
 # options
@@ -86,7 +86,7 @@ shift $(($OPTIND - 1))
 # args
 
 FILES="$@"
-shift $#
+shift "$#"
 
 [ -z "$FILES" ] && FILES="Scratch.thy"
 
diff --git a/isar/interface b/isar/interface
index 544bad76..58f5a30c 100644
--- a/isar/interface
+++ b/isar/interface
@@ -7,7 +7,7 @@
 
 ## diagnostics
 
-PRG=$(basename $0)
+PRG=$(basename "$0")
 
 function usage()
 {
@@ -38,7 +38,7 @@ function fail()
 
 ## process command line
 
-export PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo $PWD)
+export PROOFGENERAL_HOME=$(cd $(dirname "$0"); cd ..; echo "$PWD")
 
 
 # options
@@ -86,7 +86,7 @@ shift $(($OPTIND - 1))
 # args
 
 FILES="$@"
-shift $#
+shift "$#"
 
 [ -z "$FILES" ] && FILES="Scratch.thy"
 
-- 
cgit v1.2.3