# # # patch "contrib/monotone-mirror-postaction-update.sh" # from [d2f3cfbd3ceb4dbd00c1ea7394a4b8488faf5366] # to [be5a5e91c04a6d29ec50af69fe1d458bf00671cd] # ============================================================ --- contrib/monotone-mirror-postaction-update.sh d2f3cfbd3ceb4dbd00c1ea7394a4b8488faf5366 +++ contrib/monotone-mirror-postaction-update.sh be5a5e91c04a6d29ec50af69fe1d458bf00671cd @@ -40,7 +40,7 @@ database="$databasedir/$databasefile" databasedir=`cd $databasedir; pwd` database="$databasedir/$databasefile" -cat "$rc" | while read DIRECTORY BRANCH; do +sed -e '/^#/d' < "$rc" | while read DIRECTORY BRANCH; do if [ -n "$DIRECTORY" -o -n "$BRANCH" ]; then if [ -z "$DIRECTORY" -o -z "$BRANCH" ]; then echo "Directory or branch missing in line: $DIRECTORY $BRANCH" >&2