diff options
author | Wojtek Kosior <koszko@koszko.org> | 2021-08-05 20:44:25 +0200 |
---|---|---|
committer | Wojtek Kosior <koszko@koszko.org> | 2021-08-05 20:44:25 +0200 |
commit | 90896bcfeb4e55c78d9a15700a6a4580f0df6365 (patch) | |
tree | f0dd83dbfb281521f2a79bba7fafcc0939802533 /process_html_file.sh | |
parent | 5957fbeeb47bb2c519d34ae4d2eada2433dd1e09 (diff) | |
download | browser-extension-90896bcfeb4e55c78d9a15700a6a4580f0df6365.tar.gz browser-extension-90896bcfeb4e55c78d9a15700a6a4580f0df6365.zip |
enable modularization of html files
Diffstat (limited to 'process_html_file.sh')
-rwxr-xr-x | process_html_file.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/process_html_file.sh b/process_html_file.sh new file mode 100755 index 0000000..1ed0295 --- /dev/null +++ b/process_html_file.sh @@ -0,0 +1,33 @@ +#!/bin/sh + +# Copyright (C) 2021 Wojtek Kosior +# Redistribution terms are gathered in the `copyright' file. + +# Call like: +# ./process_html_file.sh html/options.html + +. ./shell_utils.sh + +FILE="$1" +FILEKEY=$(sanitize "$FILE") + +if [ "x$(map_get HTML_FILENAMES $FILEKEY)" = "xyes" ]; then + errcho "import loop on $FILE" + exit 1 +fi + +map_set_export HTML_FILENAMES $FILEKEY yes + +awk '\ +!/^[\t\r ]*<IMPORT[\t\r ]+([^\t\r ]+)[\t\r ]+\/>[\t\r ]*$/{ + print $0; +} +/^[\t\r ]*<IMPORT[\t\r ]+([^\t\r ]+)[\t\r ]+\/>[\t\r ]*$/{ + indent = substr($0, 1, index($0, "<") - 1); + command = "./process_html_file.sh " $2; + while (command | getline) { + print indent $0; + } + if (close(command) != 0) + exit 1; +}' < "$FILE" |