From ad16a539a8227b830bf0736040c151d82fcf910e Mon Sep 17 00:00:00 2001
From: Joshua Rogers <joshua@joshua.hu>
Date: Fri, 12 Jan 2024 00:26:12 +0700
Subject: [PATCH] Remove more GNU-ism.

---
 Snake.nocomments.sh | 2 +-
 Snake.sh            | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Snake.nocomments.sh b/Snake.nocomments.sh
index 4c798c5..52f927d 100644
--- a/Snake.nocomments.sh
+++ b/Snake.nocomments.sh
@@ -246,7 +246,7 @@ remove_function+="print_snake "
 remove_function+="gen_retried_interesting_dests "
 remove_function+="root_ssh_keys root_ssh_hostnames_dests root_ssh_hosts_dests"
 local_script="$(remove_functions "$THIS_SCRIPT" "$remove_function")"
-local_script="$(printf "%s" "$local_script" | sed -e 's/^[ \t]*//' -e 's/^#.*$//' -e 's/[[:space:]]#.*//' -e '/^[[:space:]]*$/d')"
+local_script="$(printf "%s" "$local_script" | sed -e 's/^ *//' -e 's/^#.*$//' -e 's/[[:space:]]#.*//' -e '/^[[:space:]]*$/d')"
 while IFS= read -r line; do
 if [[ "$line" == *"EXTERNAL_MSG: KEY"* ]]; then
 root_ssh_keys["${line##* }"]=1
diff --git a/Snake.sh b/Snake.sh
index a875f04..f02341b 100755
--- a/Snake.sh
+++ b/Snake.sh
@@ -463,7 +463,7 @@ shape_script() {
   local_script="$(remove_functions "$THIS_SCRIPT" "$remove_function")"
 
   # Remove all comments and unnecessary white-spaces.
-  local_script="$(printf "%s" "$local_script" | sed -e 's/^[ \t]*//' -e 's/^#.*$//' -e 's/[[:space:]]#.*//' -e '/^[[:space:]]*$/d')"
+  local_script="$(printf "%s" "$local_script" | sed -e 's/^ *//' -e 's/^#.*$//' -e 's/[[:space:]]#.*//' -e '/^[[:space:]]*$/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.
   # printf "%s" "$local_script"