allow + in filenames

scripts/check_series.sh

@@ -17,7 +17,7 @@ for i in *
 do
   if [ "$i" != "series" -a "$i" != "status" ]
   then
-    j=`echo $i | sed -e 's@[A-Za-z0-9_.-]@@g'`
+    j=`echo $i | sed -e 's@[A-Za-z0-9_.+-]@@g'`
     if [ "$j" != "" ]
     then
       echo illiegal character\(s\) \'$j\' in filename \'$i\'
@@ -43,27 +43,22 @@ do
     then
       ERRORS=`expr $ERRORS + 1`
       echo non-ascii characters in $i
-      rm -f /tmp/cs$$
-      continue
     fi
     rm /tmp/cs$$
     if head -1 $i | grep -v '^# HG changeset patch$' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i
-      continue
     fi
-    if ! head -2 $i | grep '^# User .*[@<].*[>A-Za-z0-9]$' >/dev/null
+    if ! head -3 $i | grep '^# User .*[@<].*[>A-Za-z0-9]$' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i
-      continue
     fi
-    if ! head -3 $i | grep '# Date .*[0-9]$' >/dev/null
+    if ! head -4 $i | grep '# Date .*[0-9]$' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i
-      continue
     fi
   fi
 done