chiark
/
gitweb
/
~mdw
/
disorder
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
1b8ed51
)
Tighter input checking in scripts/setup
author
Richard Kettlewell
<rjk@greenend.org.uk>
Sat, 28 Jun 2008 11:59:45 +0000
(12:59 +0100)
committer
Richard Kettlewell
<rjk@greenend.org.uk>
Sat, 28 Jun 2008 11:59:45 +0000
(12:59 +0100)
scripts/setup.in
patch
|
blob
|
blame
|
history
diff --git
a/scripts/setup.in
b/scripts/setup.in
index 48f87c2c5ac3a7362a04ccca1d9ebc12d27413fb..68d9a4a0a4271b6f5eef3774565e6a2b9988cfb0 100755
(executable)
--- a/
scripts/setup.in
+++ b/
scripts/setup.in
@@
-151,23
+151,31
@@
if [ -z "$roots" ]; then
echo "(enter one or more directories separated by spaces)"
read -r roots
ok=true
echo "(enter one or more directories separated by spaces)"
read -r roots
ok=true
+ anyroots=false
for root in $roots; do
if [ ! -d $root ]; then
echo "'$root' does not exist"
ok=false
for root in $roots; do
if [ ! -d $root ]; then
echo "'$root' does not exist"
ok=false
+ else
+ anyroots=true
fi
done
fi
done
- if $ok; then
+ if $
anyroots && $
ok; then
break
fi
done
fi
if [ -z "$encoding" ]; then
break
fi
done
fi
if [ -z "$encoding" ]; then
- echo
- echo "What filesystem encoding should I assume for track names?"
- echo "(e.g. UTF-8, ISO-8859-1, ...)"
- read -r encoding
+ while :; do
+ echo
+ echo "What filesystem encoding should I assume for track names?"
+ echo "(e.g. UTF-8, ISO-8859-1, ...)"
+ read -r encoding
+ if [ ! -z "$encoding" ]; then
+ break
+ fi
+ done
fi
if [ -z "$port" ]; then
fi
if [ -z "$port" ]; then
@@
-180,7
+188,7
@@
if [ -z "$port" ]; then
none )
break
;;
none )
break
;;
- [^0-9] )
+ [^0-9]
| ""
)
echo "'$port' is not a valid port number"
continue
;;
echo "'$port' is not a valid port number"
continue
;;
@@
-225,7
+233,7
@@
if [ "x$play" = xnetwork ]; then
none )
break
;;
none )
break
;;
- [^0-9] )
+ [^0-9]
| ""
)
echo "'$mcast_port' is not a valid port number"
continue
;;
echo "'$mcast_port' is not a valid port number"
continue
;;
@@
-269,7
+277,7
@@
fi
echo
echo "Proposed DisOrder setup:"
echo " Music directory: $roots"
echo
echo "Proposed DisOrder setup:"
echo " Music directory: $roots"
-if [
$port
= none ]; then
+if [
"$port"
= none ]; then
echo " Do not listen on a TCP port"
else
echo " TCP port to listen on: $port"
echo " Do not listen on a TCP port"
else
echo " TCP port to listen on: $port"