diff options
author | jahoti <jahoti@tilde.team> | 2021-08-17 00:00:00 +0000 |
---|---|---|
committer | jahoti <jahoti@tilde.team> | 2021-08-17 00:00:00 +0000 |
commit | 5b7c9edbbb46074436b819435feb80ebbd9ab4ad (patch) | |
tree | cfa7ef034d99dc1957ce3b146256d766a6a8426d /process_html_file.sh | |
parent | 7796e55405e2c27f053122bdec25ffc06df92b4f (diff) | |
parent | 443bc095a72949adb4a007c9a19a43da7dd8843d (diff) | |
download | browser-extension-5b7c9edbbb46074436b819435feb80ebbd9ab4ad.tar.gz browser-extension-5b7c9edbbb46074436b819435feb80ebbd9ab4ad.zip |
Merge remote-tracking branch 'origin/master' into jahoti
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" |