From 44901943894cad8b210c086e88f42bff82b0211a Mon Sep 17 00:00:00 2001 From: Joe Carstairs Date: Mon, 22 Jun 2026 17:26:29 +0100 Subject: [PATCH] replaces :: with `cut` for POSIX compatibility in upp* source files --- http/bin/prune_out | 2 +- http/src/blog.upphtml | 2 +- http/src/blog/rss.uppxml | 4 ++-- http/src/microlog.upphtml | 4 ++-- http/src/microlog/rss.uppxml | 2 +- 5 files changed, 7 insertions(+), 7 deletions(-) diff --git a/http/bin/prune_out b/http/bin/prune_out index c95c2b4..f8bbcab 100755 --- a/http/bin/prune_out +++ b/http/bin/prune_out @@ -18,7 +18,7 @@ do for layout in $(find share/layouts -name "*.layout.upp${out_ext}"); do layout="$(basename "$layout")" - layout="${layout::${#layout}-15}" + layout="$(echo ${layout} | cut -c1-$(( ${#layout} - 15 )) )" rel_path="$(echo "${out}" | cut -c5-)" base_rel_path="${rel_path%%.${out_ext}}" src_path="src/${base_rel_path}.${layout}.upp${out_ext}" diff --git a/http/src/blog.upphtml b/http/src/blog.upphtml index 5c37aba..8c0e429 100644 --- a/http/src/blog.upphtml +++ b/http/src/blog.upphtml @@ -51,7 +51,7 @@ for year in $YEARS; do #! for post in $POSTS; do if [ "$(echo "${post}" | cut -c1-4)" = "$year" ]; then title="$(grep "^export TITLE=" "${SRC}/blog/${post}" | cut -c15-)" -title="${title::${#title}-16}" +title="$(echo ${title} | cut -c1-$(( ${#title} - 16 )) )" date_published="$(echo "${post}" | cut -c1-10)" href="${SITE_URL}/blog/$(echo "$post" | cut -c1-10).html" #! diff --git a/http/src/blog/rss.uppxml b/http/src/blog/rss.uppxml index fe69d37..3572368 100644 --- a/http/src/blog/rss.uppxml +++ b/http/src/blog/rss.uppxml @@ -16,9 +16,9 @@ NOW_RFC_822="$(TZ=UT date +"%a, %d %b %Y %H:%M:%S UT")" #! for post in $POSTS; do -POST_ID="${post::${#post}-13}" +POST_ID="$(echo ${post} | cut -c1-$(( ${#post} - 13 )) )" source "${SRC}/blog/${post}.args" -DATE_PUBLISHED_RFC_822="$(TZ=UT date --date="${POST_ID::10}" +"%a, %d %b %Y %H:%M:%S UT")" +DATE_PUBLISHED_RFC_822="$(TZ=UT date --date="$( echo "${POST_ID}" | cut -c1-10)" +"%a, %d %b %Y %H:%M:%S UT")" #! diff --git a/http/src/microlog.upphtml b/http/src/microlog.upphtml index a1da471..aa3cfea 100644 --- a/http/src/microlog.upphtml +++ b/http/src/microlog.upphtml @@ -53,9 +53,9 @@ for year in $YEARS; do #! for post in $POSTS; do if [ "$(echo "${post}" | cut -c1-4)" = "$year" ]; then title="$(grep "^export TITLE=" "${SRC}/microlog/${post}" | cut -c15-)" -title="${title::${#title}-16}" +title="$(echo "${title}" | cut -c1-$(( ${#title} - 16)) )" date_published="$(echo "${post}" | cut -c1-10)" -href="${SITE_URL}/microlog/${post::${#post}-17}.html" +href="${SITE_URL}/microlog/$(echo ${post} | cut -c1-$(( ${#post} - 17 )) ).html" #!
  • diff --git a/http/src/microlog/rss.uppxml b/http/src/microlog/rss.uppxml index 2a374fb..6c17088 100644 --- a/http/src/microlog/rss.uppxml +++ b/http/src/microlog/rss.uppxml @@ -18,7 +18,7 @@ NOW_RFC_822="$(TZ=UT date +"%a, %d %b %Y %H:%M:%S UT")" for post in $POSTS; do POST_ID="${post::${#post}-17}" source "${SRC}/microlog/${post}.args" -DATE_PUBLISHED_RFC_822="$(TZ=UT date --date="${POST_ID::10}" +"%a, %d %b %Y %H:%M:%S UT")" +DATE_PUBLISHED_RFC_822="$(TZ=UT date --date="$( echo "${POST_ID}" | cut -c1-10)" +"%a, %d %b %Y %H:%M:%S UT")" #!