Create gix-packetline-blocking headers as regular comments

EliahKagan · EliahKagan · commit 6a5db0c51723 · 2024-04-09T02:37:55.000-04:00
See #1340 (comment).
diff --git a/etc/copy-packetline.sh b/etc/copy-packetline.sh
@@ -87,7 +87,7 @@ function make_header () {
   endline="$2"
 
   # shellcheck disable=SC2016  # The backticks are intentionally literal.
-  printf '//! DO NOT EDIT - this is a copy of %s. Run `just copy-packetline` to update it.%s%s' \
+  printf '// DO NOT EDIT - this is a copy of %s. Run `just copy-packetline` to update it.%s%s' \
     "$source_file" "$endline" "$endline"
 }
 

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@ function make_header () {`
`87`	`87`	`endline="$2"`
`88`	`88`
`89`	`89`	`# shellcheck disable=SC2016 # The backticks are intentionally literal.`
`90`		- printf '//! DO NOT EDIT - this is a copy of %s. Run `just copy-packetline` to update it.%s%s' \
	`90`	+ printf '// DO NOT EDIT - this is a copy of %s. Run `just copy-packetline` to update it.%s%s' \
`91`	`91`	`"$source_file" "$endline" "$endline"`
`92`	`92`	`}`
`93`	`93`