Protect input parameter file name with double quotes every where in case it contains white space. Closes issue #28

2010-09-30 17:01:37 +02:00
parent 13d550a40e
commit 7b803170c2
12 changed files with 16 additions and 16 deletions
@@ -86,7 +86,7 @@ checkcmds sed
 # Delete everything from <div id="menu"> to <div id="main-page">
 # This prints an additional blank line at top which does not matter
 sed -n -e '1,/<div id="menu">/{x;p' -e '}' \
-    -e '/<div id="main-page">/,$p' < $infile
+    -e '/<div id="main-page">/,$p' < "$infile"

 # exit normally
 exit 0