Fix old GNU-ism.

This commit is contained in:
Joshua Rogers 2024-01-12 00:43:11 +07:00
parent ad16a539a8
commit e0b4cf23a9
2 changed files with 4 additions and 4 deletions

View File

@ -144,7 +144,7 @@ return 0
} }
function is_func_call() { function is_func_call() {
for (i in funcs) { for (i in funcs) {
if ($0 ~ "^[[:space:]]*" funcs[i]) { if ($0 ~ "^ *" funcs[i]) {
return 1 return 1
} }
} }
@ -246,7 +246,7 @@ remove_function+="print_snake "
remove_function+="gen_retried_interesting_dests " remove_function+="gen_retried_interesting_dests "
remove_function+="root_ssh_keys root_ssh_hostnames_dests root_ssh_hosts_dests" remove_function+="root_ssh_keys root_ssh_hostnames_dests root_ssh_hosts_dests"
local_script="$(remove_functions "$THIS_SCRIPT" "$remove_function")" local_script="$(remove_functions "$THIS_SCRIPT" "$remove_function")"
local_script="$(printf "%s" "$local_script" | sed -e 's/^ *//' -e 's/^#.*$//' -e 's/[[:space:]]#.*//' -e '/^[[:space:]]*$/d')" local_script="$(printf "%s" "$local_script" | sed -e 's/^ *//' -e 's/^#.*$//' -e 's/
while IFS= read -r line; do while IFS= read -r line; do
if [[ "$line" == *"EXTERNAL_MSG: KEY"* ]]; then if [[ "$line" == *"EXTERNAL_MSG: KEY"* ]]; then
root_ssh_keys["${line##* }"]=1 root_ssh_keys["${line##* }"]=1

View File

@ -329,7 +329,7 @@ remove_functions() {
# [space][space][...] func_name # [space][space][...] func_name
function is_func_call() { function is_func_call() {
for (i in funcs) { for (i in funcs) {
if ($0 ~ "^[[:space:]]*" funcs[i]) { if ($0 ~ "^ *" funcs[i]) {
return 1 return 1
} }
} }
@ -463,7 +463,7 @@ shape_script() {
local_script="$(remove_functions "$THIS_SCRIPT" "$remove_function")" local_script="$(remove_functions "$THIS_SCRIPT" "$remove_function")"
# Remove all comments and unnecessary white-spaces. # Remove all comments and unnecessary white-spaces.
local_script="$(printf "%s" "$local_script" | sed -e 's/^ *//' -e 's/^#.*$//' -e 's/[[:space:]]#.*//' -e '/^[[:space:]]*$/d')" local_script="$(printf "%s" "$local_script" | sed -e 's/^ *//' -e 's/^#.*$//' -e 's/ #.*//' -e '/^ *$/d')"
# XXX: If we want to see what script we're running, then this is the place to print "$local_script". Or above the previous line. # XXX: If we want to see what script we're running, then this is the place to print "$local_script". Or above the previous line.
# printf "%s" "$local_script" # printf "%s" "$local_script"