From 6106c789ee818fd18240fd3f99eead598406852f Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <koszko@koszko.org>
Date: Tue, 30 Nov 2021 19:31:49 +0100
Subject: rewrite parts of build script in awk

---
 shell_utils.sh | 25 ++++++-------------------
 1 file changed, 6 insertions(+), 19 deletions(-)

(limited to 'shell_utils.sh')

diff --git a/shell_utils.sh b/shell_utils.sh
index 5fd24ff..6d4cc76 100644
--- a/shell_utils.sh
+++ b/shell_utils.sh
@@ -3,21 +3,8 @@
 
 # This file is meant to be sourced in sh.
 
-ENDL="
-"
-
-# A "raw" echo, interprets neither backclash escapes nor command-line options.
-# Does not emit trailing newline.
-ech() {
-    printf %s "$*"
-}
-
-errcho() {
-    echo "$@" >&2
-}
-
 map_set_instr() {
-    echo "$1__$2='$3'"
+    printf "%s__%s='%s'" "$1" "$2" "$3"
 }
 
 map_set() {
@@ -29,11 +16,11 @@ map_set_export() {
 }
 
 map_get() {
-    eval "echo \"\$$1__$2\""
+    eval "printf %s \"\$$1__$2\""
 }
 
 map_del_instr() {
-    echo "unset $1__$2"
+    printf 'unset %s__%s' "$1" "$2"
 }
 
 map_del() {
@@ -41,18 +28,18 @@ map_del() {
 }
 
 sanitize() {
-    echo "$1" | tr /.- _
+    printf %s "$1" | tr /.- _
 }
 
 escape_regex_special() {
-    ech "$1" | sed 's/\([]\.*?{},()[-]\)/\\\1/g'
+    printf %s "$1" | sed 's/\([]\.*?{},()[-]\)/\\\1/g'
 }
 
 # Note: We don't actually parse JSON. We extract needed keys with sed regexes
 # which does not work in the general case but is sufficient for now.
 get_json_key() {
     local KEY_REG="$(escape_regex_special "$1")"
-    ech "$2" |
+    printf %s "$2" |
 	sed 's/\(.*"'"$KEY_REG"'"[[:space:]]*:[[:space:]]*"\([^"]*\)"\)\?.*/\2/' |
 	grep . | head -1
 }
-- 
cgit v1.2.3