diff options
Diffstat (limited to 'common')
-rwxr-xr-x | common/files/scripts/renew_copyright_header.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/files/scripts/renew_copyright_header.sh b/common/files/scripts/renew_copyright_header.sh index 4f424c3..423547f 100755 --- a/common/files/scripts/renew_copyright_header.sh +++ b/common/files/scripts/renew_copyright_header.sh @@ -15,7 +15,7 @@ remove() { # formatters do weird things to the file case "$extension" in # normal '#' comments (these are $TEMPLATE_LINE_LENGTH lines long) - "Makefile" | "toml" | "envrc" | "yml" | "gitignore" | "awk") + "Makefile" | "makefile" | "toml" | "envrc" | "yml" | "gitignore" | "awk" | "pest" | "lua") sed --in-place "1,${TEMPLATE_LINE_LENGTH}d" "$file" ;; # LaTeX files (or TeX files in general) have a different license, use the @@ -24,7 +24,7 @@ remove() { sed --in-place "1,${LATEX_TEMPLATE_LINE_LENGTH}d" "$file" ;; # normal '/* ... */' like comments (these are $TEMPLATE_LINE_LENGTH + 2 lines long) - "c" | "h" | "md" | "rs") + "c" | "h" | "md" | "rs" | "html" | "svg" | "drawio" | "tri") length="$((TEMPLATE_LINE_LENGTH + 2))" sed --in-place "1,${length}d;" "$file" ;; |