#!/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 ]*[\t\r ]*$/{ print $0; } /^[\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" elected='selected'>koszko Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-12-11build: 'script/guix' uses our own 'guile' executable....Ludovic Courtès