genwebgallery
diff genwebgallery @ 14:6273a788c4fd
removed bashism
author | meillo@marmaro.de |
---|---|
date | Sat, 19 Apr 2008 11:38:29 +0200 |
parents | cb0dff8c48c6 |
children | 326bcd4e1708 |
line diff
1.1 --- a/genwebgallery Sat Nov 24 23:30:20 2007 +0100 1.2 +++ b/genwebgallery Sat Apr 19 11:38:29 2008 +0200 1.3 @@ -21,7 +21,7 @@ 1.4 1.5 1.6 1.7 -function checkCreateDir() { 1.8 +checkCreateDir() { 1.9 remove="no" 1.10 if [ -e "$targetDir" ] ; then 1.11 if [ "$overwrite" = "no" ] ; then 1.12 @@ -50,7 +50,7 @@ 1.13 1.14 1.15 1.16 -function insertHeader() { 1.17 +insertHeader() { 1.18 echo " 1.19 <?xml version=\"1.0\" encoding=\"utf-8\"?> 1.20 <!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1//EN\" 1.21 @@ -68,7 +68,7 @@ 1.22 1.23 1.24 1.25 -function insertFooter() { 1.26 +insertFooter() { 1.27 echo " 1.28 1.29 </body> 1.30 @@ -78,7 +78,7 @@ 1.31 1.32 1.33 1.34 -function log() { 1.35 +log() { 1.36 if [ $verbose = "yes" ] ; then 1.37 echo "$1"; 1.38 fi 1.39 @@ -86,7 +86,7 @@ 1.40 1.41 1.42 1.43 -function checkConvert() { 1.44 +checkConvert() { 1.45 log "checking convert installation" 1.46 (convert -version) 2> /dev/null > /dev/null 1.47 if [ $? -ne 0 ] ; then 1.48 @@ -100,14 +100,14 @@ 1.49 1.50 1.51 1.52 -function usage() { 1.53 +usage() { 1.54 echo "usage: `basename $0` [OPTIONS] FILES" 1.55 exit 1 1.56 } 1.57 1.58 1.59 1.60 -function help() { 1.61 +help() { 1.62 echo "`basename $0` 1.63 1.64 generates a web gallery consisting of html pages 1.65 @@ -139,7 +139,7 @@ 1.66 1.67 # option processing 1.68 1.69 -while [ "$#" -ge 1 -a "${1:0:1}" = '-' ] ; do 1.70 +while [ "$#" -ge 1 -a `echo "$1" | awk '{print substr($0,1,1)}'` = '-' ] ; do 1.71 case $1 in 1.72 '--version') 1.73 echo "genwebgallery version $VERSION"