insttheme | raw changeset files shortlog |
1.1 --- a/insttheme Sat Nov 01 02:02:29 2008 +0100 1.2 +++ b/insttheme Sat Nov 01 02:08:27 2008 +0100 1.3 @@ -1,6 +1,6 @@ 1.4 #!/bin/bash 1.5 1.6 -if [ ! $2 ] ; then 1.7 +if [[ ! $2 ]] ; then 1.8 echo "Please specify a directory such as ../mywiki or /tmp/mywiki along" 1.9 echo "with the name of the theme into which the CategoryMenu styles will be" 1.10 echo "copied."