Landon Curt Noll
0aa790fd88
Fixed a bug that was introduced into `bin/subst.entry-index.sh` where the value `$HTML_SED` was set too early. Shell functions variables are evaluated when they are executed, not when they are first parsed. So exported variables used by a shell function need to be set only before the shell function is executed. Checkpoint `bin/cvt-submission.sh` as part of our testing. Set file modes of 0444 for when `.auth.json` is formed from `.auth.json.xz`. The awk scripts under bin put their name (basename) into error messages to make it easier to debug any error they might raise. Changed `bin/cvt-submission.sh` VERSION from "2.0.1 2025-05-01" to "2.0.2 2025-05-17". Changed `bin/filelist.entry.json.awk` VERSION from "1.0 2024-02-12" to "1.0.1 2025-05-17". Changed `bin/manifest.csv.entry.awk` VERSION from "1.0 2024-07-14" to "1.0.1 2025-05-17". Changed `bin/manifest.entry.json.awk` VERSION from "1.2.1 2024-11-16" to "1.2.2 2025-05-17". Changed `bin/subst.entry-index.sh` VERSION from "2.0.0 2025-03-13" to "2.0.1 2025-05-17". Changed `bin/subst.entry-navbar.awk` VERSION from "1.3 2024-08-02" to "1.3.1 2025-05-17". Changed `bin/subst.year-navbar.awk` VERSION from "1.2 2024-04-04" to "1.2.1 2025-05-17". Update sitemap. Tested the above via `make update` on macOS.
473 lines
14 KiB
Awk
Executable File
473 lines
14 KiB
Awk
Executable File
#!/usr/bin/env awk
|
|
#
|
|
# manifest.entry.json.awk - output manifest table from a entry's .entry.json file
|
|
#
|
|
# usage:
|
|
#
|
|
# awk -v github=REPO_URL -f bin/manifest.entry.json.awk YYYY/dir/.entry.json
|
|
#
|
|
# where:
|
|
#
|
|
# YYYY IOCCC year or mock
|
|
# dir name of entry's directory under YYYY containing .entry.json
|
|
# REPO_URL GitHub repo URL, e.g., https://github.com/ioccc-src/winner/blob/master/blob/master
|
|
# We append blob/master to account for how GitHub forms file URLs.
|
|
|
|
# XXX - XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX - XXX
|
|
# XXX - GROSS HACK - GROSS HACK - GROSS HACK - GROSS HACK - GROSS HACK - GROSS HACK - XXX
|
|
# XXX - until we have the jnamval command, we must FAKE PARSE the .entry.json file - XXX
|
|
# XXX - GROSS HACK - GROSS HACK - GROSS HACK - GROSS HACK - GROSS HACK - GROSS HACK - XXX
|
|
# XXX - XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX - XXX
|
|
|
|
BEGIN {
|
|
|
|
# setup
|
|
#
|
|
VERSION="1.2.2 2025-05-17"
|
|
NAME = "manifest.entry.json.awk"
|
|
found_manifest_array = 0; # 1 ==> we found the manifest ARRAY
|
|
within_manifest_array = 0; # 1 ==> found start of "manifest" : [ JSON array
|
|
begin_manifest_element = 0; # 1 ==> we have found the start of the manifest array element
|
|
|
|
# error if github is not set via -v github=REPO_URL
|
|
#
|
|
if (length(github) == 0) {
|
|
exit 210; # END section will output ERROR message about github not set
|
|
}
|
|
|
|
# extract YYYY and dir from file argument
|
|
#
|
|
YYYY = "";
|
|
dir = "";
|
|
tmp = ARGV[1];
|
|
gsub(/\.entry\.json$/, "", tmp);
|
|
arg_path_count = split(tmp, part, "/");
|
|
if (arg_path_count >= 2) {
|
|
dir=part[arg_path_count-1];
|
|
YYYY=part[arg_path_count-2];
|
|
}
|
|
if (length(dir) == 0) {
|
|
exit 211; # END section will output ERROR message about cannot find dir
|
|
}
|
|
if (length(YYYY) == 0) {
|
|
exit 212; # END section will output ERROR message about cannot find YYYY
|
|
}
|
|
}
|
|
|
|
# look for the start of "manifest" JSON array
|
|
#
|
|
# We look for a line with 3 tokens:
|
|
#
|
|
# "manifest" : [
|
|
#
|
|
NF == 3 && $1 ~ /^"manifest"$/ && $2 ~ /^:$/ && $3 ~ /^\[$/ {
|
|
|
|
# note we have found the start of "manifest" JSON array
|
|
#
|
|
found_manifest_array = 1;
|
|
within_manifest_array = 1;
|
|
begin_manifest_element = 0;
|
|
}
|
|
|
|
# after start of "manifest" JSON array, process start of a manifest array element
|
|
#
|
|
# We have just seen the start of "manifest" JSON array:
|
|
#
|
|
# "manifest" : [
|
|
#
|
|
# Now, when we see a line of this form:
|
|
#
|
|
# {
|
|
#
|
|
# we know that we are about to see the start of one of the manifest array elements.
|
|
#
|
|
within_manifest_array == 1 && NF == 1 && $1 ~ /^{$/ {
|
|
|
|
# note the start of the manifest array element
|
|
#
|
|
begin_manifest_element = 1;
|
|
|
|
# clear values for the JSON members of this manifest array elements
|
|
#
|
|
file_path = "";
|
|
inventory_order = "";
|
|
OK_to_edit = "";
|
|
display_as = "";
|
|
display_via_github = "";
|
|
entry_text = "";
|
|
|
|
# clear unquoted values for the JSON members of this manifest array elements
|
|
#
|
|
unquote_file_path = "";
|
|
unquote_inventory_order = "";
|
|
unquote_OK_to_edit = "";
|
|
unquote_display_as = "";
|
|
unquote_display_via_github = "";
|
|
unquote_entry_text = "";
|
|
}
|
|
|
|
# record file_path from an manifest array element
|
|
#
|
|
# We are looking for a JSON member line of the form:
|
|
#
|
|
# "file_path" : something,
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF >= 3 && $1 ~ /^"file_path"$/ && $2 ~ /^:$/ {
|
|
|
|
# save JSON member value
|
|
#
|
|
# The JSON member value starts after the 1st and 2nd fields.
|
|
# We remove any leading leading whitespace, such as the FS
|
|
# between the 1st and 2nd fields, and between the 2nd and 3rd field.
|
|
#
|
|
$1 = ""; # remove 1st field
|
|
$2 = ""; # remove 2nd field
|
|
gsub(/^[[:space:]]+/, "", $0); # remove any leading whitespace
|
|
file_path = $0;
|
|
|
|
# Remove any trailing ,
|
|
#
|
|
if (file_path ~ /,$/) {
|
|
file_path = substr(file_path, 1, length(file_path)-1);
|
|
}
|
|
|
|
# remove any enclosing double quotes
|
|
#
|
|
if (file_path ~ /^".*"$/) {
|
|
unquote_file_path = substr(file_path, 2, length(file_path)-2);
|
|
} else {
|
|
unquote_file_path = file_path;
|
|
}
|
|
}
|
|
|
|
# record inventory_order from an manifest array element
|
|
#
|
|
# We are looking for a JSON member line of the form:
|
|
#
|
|
# "inventory_order" : something,
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF >= 3 && $1 ~ /^"inventory_order"$/ && $2 ~ /^:$/ {
|
|
|
|
# save JSON member value
|
|
#
|
|
# The JSON member value starts after the 1st and 2nd fields.
|
|
# We remove any leading leading whitespace, such as the FS
|
|
# between the 1st and 2nd fields, and between the 2nd and 3rd field.
|
|
#
|
|
$1 = ""; # remove 1st field
|
|
$2 = ""; # remove 2nd field
|
|
gsub(/^[[:space:]]+/, "", $0); # remove any leading whitespace
|
|
inventory_order = $0;
|
|
|
|
# Remove any trailing ,
|
|
#
|
|
if (inventory_order ~ /,$/) {
|
|
inventory_order = substr(inventory_order, 1, length(inventory_order)-1);
|
|
}
|
|
|
|
# remove any enclosing double quotes
|
|
#
|
|
if (inventory_order ~ /^".*"$/) {
|
|
unquote_inventory_order = substr(inventory_order, 2, length(inventory_order)-2);
|
|
} else {
|
|
unquote_inventory_order = inventory_order;
|
|
}
|
|
}
|
|
|
|
# record OK_to_edit from an manifest array element
|
|
#
|
|
# We are looking for a JSON member line of the form:
|
|
#
|
|
# "OK_to_edit" : something,
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF >= 3 && $1 ~ /^"OK_to_edit"$/ && $2 ~ /^:$/ {
|
|
|
|
# save JSON member value
|
|
#
|
|
# The JSON member value starts after the 1st and 2nd fields.
|
|
# We remove any leading leading whitespace, such as the FS
|
|
# between the 1st and 2nd fields, and between the 2nd and 3rd field.
|
|
#
|
|
$1 = ""; # remove 1st field
|
|
$2 = ""; # remove 2nd field
|
|
gsub(/^[[:space:]]+/, "", $0); # remove any leading whitespace
|
|
OK_to_edit = $0;
|
|
|
|
# Remove any trailing ,
|
|
#
|
|
if (OK_to_edit ~ /,$/) {
|
|
OK_to_edit = substr(OK_to_edit, 1, length(OK_to_edit)-1);
|
|
}
|
|
|
|
# remove any enclosing double quotes
|
|
#
|
|
if (OK_to_edit ~ /^".*"$/) {
|
|
unquote_OK_to_edit = substr(OK_to_edit, 2, length(OK_to_edit)-2);
|
|
} else {
|
|
unquote_OK_to_edit = OK_to_edit;
|
|
}
|
|
}
|
|
|
|
# record display_as from an manifest array element
|
|
#
|
|
# We are looking for a JSON member line of the form:
|
|
#
|
|
# "display_as" : something,
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF >= 3 && $1 ~ /^"display_as"$/ && $2 ~ /^:$/ {
|
|
|
|
# save JSON member value
|
|
#
|
|
# The JSON member value starts after the 1st and 2nd fields.
|
|
# We remove any leading leading whitespace, such as the FS
|
|
# between the 1st and 2nd fields, and between the 2nd and 3rd field.
|
|
#
|
|
$1 = ""; # remove 1st field
|
|
$2 = ""; # remove 2nd field
|
|
gsub(/^[[:space:]]+/, "", $0); # remove any leading whitespace
|
|
display_as = $0;
|
|
|
|
# Remove any trailing ,
|
|
#
|
|
if (display_as ~ /,$/) {
|
|
display_as = substr(display_as, 1, length(display_as)-1);
|
|
}
|
|
|
|
# remove any enclosing double quotes
|
|
#
|
|
if (display_as ~ /^".*"$/) {
|
|
unquote_display_as = substr(display_as, 2, length(display_as)-2);
|
|
} else {
|
|
unquote_display_as = display_as;
|
|
}
|
|
}
|
|
|
|
# record display_via_github from an manifest array element
|
|
#
|
|
# We are looking for a JSON member line of the form:
|
|
#
|
|
# "display_via_github" : something,
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF >= 3 && $1 ~ /^"display_via_github"$/ && $2 ~ /^:$/ {
|
|
|
|
# save JSON member value
|
|
#
|
|
# The JSON member value starts after the 1st and 2nd fields.
|
|
# We remove any leading leading whitespace, such as the FS
|
|
# between the 1st and 2nd fields, and between the 2nd and 3rd field.
|
|
#
|
|
$1 = ""; # remove 1st field
|
|
$2 = ""; # remove 2nd field
|
|
gsub(/^[[:space:]]+/, "", $0); # remove any leading whitespace
|
|
display_via_github = $0;
|
|
|
|
# Remove any trailing ,
|
|
#
|
|
if (display_via_github ~ /,$/) {
|
|
display_via_github = substr(display_via_github, 1, length(display_via_github)-1);
|
|
}
|
|
|
|
# remove any enclosing double quotes
|
|
#
|
|
if (display_via_github ~ /^".*"$/) {
|
|
unquote_display_via_github = substr(display_via_github, 2, length(display_via_github)-2);
|
|
} else {
|
|
unquote_display_via_github = display_via_github;
|
|
}
|
|
}
|
|
|
|
# record entry_text from an manifest array element
|
|
#
|
|
# We are looking for a JSON member line of the form:
|
|
#
|
|
# "entry_text" : something
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF >= 3 && $1 ~ /^"entry_text"$/ && $2 ~ /^:$/ {
|
|
|
|
# save JSON member value
|
|
#
|
|
# The JSON member value starts after the 1st and 2nd fields.
|
|
# We remove any leading leading whitespace, such as the FS
|
|
# between the 1st and 2nd fields, and between the 2nd and 3rd field.
|
|
#
|
|
$1 = ""; # remove 1st field
|
|
$2 = ""; # remove 2nd field
|
|
gsub(/^[[:space:]]+/, "", $0); # remove any leading whitespace
|
|
entry_text = $0;
|
|
|
|
# Remove any trailing ,
|
|
#
|
|
if (entry_text ~ /,$/) {
|
|
entry_text = substr(entry_text, 1, length(entry_text)-1);
|
|
}
|
|
|
|
# so we can single quote the entry_text as a single string, we protect any single quotes within it
|
|
#
|
|
jstrdecode_arg = entry_text;
|
|
gsub(/'/, "'\"'\"'", jstrdecode_arg);
|
|
|
|
# form the jstrdecode command
|
|
#
|
|
if (jstrdecode_arg ~ /^".*"$/) {
|
|
jstrdecode_cmd = "jstrdecode -d -q -Q -- " "'" substr(jstrdecode_arg, 2, length(jstrdecode_arg)-2) "'";
|
|
} else {
|
|
jstrdecode_cmd = "jstrdecode -d -q -Q -- " "'" jstrdecode_arg "'";
|
|
}
|
|
jstrdecode_cmd = jstrdecode_cmd " 2>/dev/null; echo $?";
|
|
|
|
# JSON decode entry_text
|
|
#
|
|
numLines = 0;
|
|
result = "";
|
|
exit_code = 0;
|
|
# process each pipe line
|
|
while ((jstrdecode_cmd | getline pipe_output) > 0) {
|
|
if (numLines++ == 0) {
|
|
# case: 1st line is from jstrdecode
|
|
result = pipe_output;
|
|
} else {
|
|
# case: 2nd/line line is the jstrdecode exit code
|
|
exit_code = pipe_output;
|
|
}
|
|
}
|
|
close(jstrdecode_cmd);
|
|
|
|
# validate exit code from jstrdecode
|
|
#
|
|
if (length(exit_code) == 0 || exit_code != 0) {
|
|
print "ERROR:", NAME ": unable to jstrdecode entry_text:", entry_text > "/dev/stderr";
|
|
exit 213; # END section will output ERROR message about cannot JSON decode entry_text
|
|
}
|
|
|
|
# remove any enclosing double quotes
|
|
#
|
|
if (result ~ /^".*"$/) {
|
|
unquote_entry_text = substr(result, 2, length(result)-2);
|
|
} else {
|
|
unquote_entry_text = result;
|
|
}
|
|
}
|
|
|
|
# process end of manifest array element
|
|
#
|
|
within_manifest_array == 1 && begin_manifest_element == 1 && NF == 1 && $1 ~ /^},?$/ {
|
|
|
|
# verify we have seen a file_path JSON member
|
|
#
|
|
if (length(file_path) == 0) {
|
|
print "ERROR:", NAME ": manifest array JSON member did not have a file_path JSON member in:", ARGV[1] > "/dev/stderr";
|
|
exit 214;
|
|
}
|
|
|
|
# verify we have seen a inventory_order JSON member
|
|
#
|
|
if (length(inventory_order) == 0) {
|
|
print "ERROR:", NAME ": manifest array JSON member did not have a inventory_order JSON member in:", ARGV[1] > "/dev/stderr";
|
|
exit 215;
|
|
}
|
|
|
|
# verify we have seen a OK_to_edit JSON member
|
|
#
|
|
if (length(OK_to_edit) == 0) {
|
|
print "ERROR:", NAME ": manifest array JSON member did not have a OK_to_edit JSON member in:", ARGV[1] > "/dev/stderr";
|
|
exit 216;
|
|
}
|
|
|
|
# verify we have seen a display_as JSON member
|
|
#
|
|
if (length(display_as) == 0) {
|
|
print "ERROR:", NAME ": manifest array JSON member did not have a display_as JSON member in:", ARGV[1] > "/dev/stderr";
|
|
exit 217;
|
|
}
|
|
|
|
# verify we have seen a display_via_github JSON member
|
|
#
|
|
if (length(display_via_github) == 0) {
|
|
print "ERROR:", NAME ": manifest array JSON member did not have a display_via_github JSON member in:", ARGV[1] > "/dev/stderr";
|
|
exit 218;
|
|
}
|
|
|
|
# verify we have seen a entry_text JSON member
|
|
#
|
|
if (length(entry_text) == 0) {
|
|
print "ERROR:", NAME ": manifest array JSON member did not have a entry_text JSON member in:", ARGV[1] > "/dev/stderr";
|
|
exit 219;
|
|
}
|
|
|
|
# print manifest information
|
|
#
|
|
# print "# debug: file_path:", file_path;
|
|
# print "# debug: inventory_order:", inventory_order;
|
|
# print "# debug: OK_to_edit:", OK_to_edit;
|
|
# print "# debug: display_as:", display_as;
|
|
# print "# debug: display_via_github:", display_via_github;
|
|
# print "# debug: entry_text:", entry_text;
|
|
#
|
|
# print "# debug: unquote_file_path:", unquote_file_path;
|
|
# print "# debug: unquote_inventory_order:", unquote_inventory_order;
|
|
# print "# debug: unquote_OK_to_edit:", unquote_OK_to_edit;
|
|
# print "# debug: unquote_display_as:", unquote_display_as;
|
|
# print "# debug: unquote_display_via_github:", unquote_display_via_github;
|
|
# print "# debug: unquote_entry_text:", unquote_entry_text;
|
|
#
|
|
if (unquote_display_via_github == "false") {
|
|
url = unquote_file_path;
|
|
} else {
|
|
url = github "/" YYYY "/" dir "/" unquote_file_path;
|
|
}
|
|
print inventory_order, "* [" unquote_file_path "](" url ") -", unquote_entry_text;
|
|
|
|
# note the end of the manifest array element
|
|
#
|
|
begin_manifest_element = 0;
|
|
|
|
# note if we found the end of the manifest array
|
|
#
|
|
if ($1 ~ /^}$/) {
|
|
within_manifest_array = 0;
|
|
}
|
|
}
|
|
|
|
END {
|
|
|
|
# case: we quit due to github unset
|
|
#
|
|
if (length(github) == 0) {
|
|
print "ERROR:", NAME ": github variable not set, call with -v github=REPO_URL" > "/dev/stderr";
|
|
exit 220; # use 200 to match exit code from BEGIN
|
|
}
|
|
|
|
# case: we quit because we could not determine dir from ARGV[1]
|
|
#
|
|
if (length(dir) == 0) {
|
|
print "ERROR:", NAME ": cannot determine dir from:", ARGV[1] > "/dev/stderr";
|
|
exit 221; # END section will output ERROR message about cannot find dir
|
|
}
|
|
|
|
if (length(YYYY) == 0) {
|
|
print "ERROR:", NAME ": cannot determine YYYY from:", ARGV[1] > "/dev/stderr";
|
|
exit 222; # END section will output ERROR message about cannot find YYYY
|
|
}
|
|
|
|
# case: no manifest array was found
|
|
#
|
|
if (!found_manifest_array) {
|
|
print "ERROR:", NAME ": we did not find a manifest JSON array in:", ARGV[1] > "/dev/stderr";
|
|
exit 223;
|
|
}
|
|
|
|
# case: manifest array was found, but manifest array element did not finish
|
|
#
|
|
if (begin_manifest_element) {
|
|
print "ERROR:", NAME ": manifest JSON array element did not end in:", ARGV[1] > "/dev/stderr";
|
|
exit 224;
|
|
}
|
|
|
|
# case: manifest array did not end
|
|
#
|
|
if (within_manifest_array) {
|
|
print "ERROR:", NAME ": manifest JSON array did not end in:", ARGV[1] > "/dev/stderr";
|
|
exit 225;
|
|
}
|
|
}
|