blob: 5fd24ff74ebeadf9b9a493574ae27bd0e38ea1da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
# Copyright (C) 2021 Wojtek Kosior
# Redistribution terms are gathered in the `copyright' file.
# 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'"
}
map_set() {
eval "$(map_set_instr "$@")"
}
map_set_export() {
eval "export $(map_set_instr "$@")"
}
map_get() {
eval "echo \"\$$1__$2\""
}
map_del_instr() {
echo "unset $1__$2"
}
map_del() {
eval "$(map_del_instr "$@")"
}
sanitize() {
echo "$1" | tr /.- _
}
escape_regex_special() {
ech "$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" |
sed 's/\(.*"'"$KEY_REG"'"[[:space:]]*:[[:space:]]*"\([^"]*\)"\)\?.*/\2/' |
grep . | head -1
}
|
