From ebff92daac2068a3745713e023878bd5dea1333f Mon Sep 17 00:00:00 2001 From: Benedikt Peetz Date: Tue, 11 Jun 2024 08:15:13 +0200 Subject: fix(common/scripts/renew_copyright_header.sh): Add further file extensions --- common/files/scripts/renew_copyright_header.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'common/files/scripts/renew_copyright_header.sh') 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" ;; -- cgit 1.4.1