citadel

commit 263cde093d85efd81da13cd1bc65b60077d62b68
parent cdf3a6cf5d6caa435b64263e63bb8d6891bb9cff
Author: William Casarin <jb55@jb55.com>
Date:   Mon, 11 Sep 2023 11:01:08 -0700

support more than single-digit patch numbers

Diffstat:
M
bin/mail-prpatch-insert
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/mail-prpatch-insert b/bin/mail-prpatch-insert
@@ -15,7 +15,7 @@ function build_coverletter() {
 	<"$1" awk '/^$/ {exit} {print}' > "$PRPATCH"/header
 	<"$PRPATCH/mail" awk 'BEGIN {print_it=0;} skip > 0 {skip -= 1; next;} /^----==_mimepart/ {print_it=!print_it;skip=3;next;} print_it==1 {print;}' |
 		cat "$PRPATCH/header" - |
-		sed 's,PATCH 1,PATCH 0,' > "$PATCHES/0000"
+		sed -E 's,(PATCH[^1]+)1,\10,' > "$PATCHES/0000"
 }
 
 rm -rf "$PRPATCH"