From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Sat, 7 Dec 2024 10:53:54 +0000 (+0000)
Subject: makes env_ scripts development items
X-Git-Url: https://git.reasoningtechnology.com/style/%5B%5E?a=commitdiff_plain;h=e5984a610b6f5fc8f570daacd9644f265c66b66e;p=RT-project-share

makes env_ scripts development items
---

diff --git "a/developer/bash\360\237\226\211/bash\360\237\226\211" "b/developer/bash\360\237\226\211/bash\360\237\226\211"
deleted file mode 120000
index 97464d3..0000000
--- "a/developer/bash\360\237\226\211/bash\360\237\226\211"
+++ /dev/null
@@ -1 +0,0 @@
-/var/user_data/Thomas-developer/RT-incommon/developer/bash🖉
\ No newline at end of file
diff --git "a/developer/bash\360\237\226\211/deprecate" "b/developer/bash\360\237\226\211/deprecate"
new file mode 100755
index 0000000..4713db5
--- /dev/null
+++ "b/developer/bash\360\237\226\211/deprecate"
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+
+# cp subtree at <source> under file path <destination>, and make all the copied
+# files read-only. The intended use case is for moving files to a `deprecated`
+# directory. This helps prevent subsequent accidental editing.
+
+if [ "$#" -lt 2 ]; then
+  echo "Usage: $script_afp <source> <destination>"
+  exit 1
+fi
+SRC="$1"
+DEST="$2"
+
+mkdir -p "$DEST"
+mv "$SRC" "$DEST"
+
+# make stuff readonly
+cd "$DEST" || exit
+chmod -R u-w,go-rwx "$DEST"
diff --git "a/developer/bash\360\237\226\211/env_administrator" "b/developer/bash\360\237\226\211/env_administrator"
new file mode 100644
index 0000000..2f09f8a
--- /dev/null
+++ "b/developer/bash\360\237\226\211/env_administrator"
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
+  echo "$script_afp:: This script must be sourced, not executed."
+  exit 1
+fi
+
+source tool_shared/bespoke🖉/env
+source tool🖉/env
+
diff --git "a/developer/bash\360\237\226\211/env_devloper" "b/developer/bash\360\237\226\211/env_devloper"
new file mode 100644
index 0000000..c2f5c58
--- /dev/null
+++ "b/developer/bash\360\237\226\211/env_devloper"
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
+  echo "$script_afp:: This script must be sourced, not executed."
+  exit 1
+fi
+
+source tool_shared/bespoke🖉/env
+source developer/tool🖉/env
+
diff --git "a/developer/bash\360\237\226\211/env_tester" "b/developer/bash\360\237\226\211/env_tester"
new file mode 100644
index 0000000..36df441
--- /dev/null
+++ "b/developer/bash\360\237\226\211/env_tester"
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
+  echo "$script_afp:: This script must be sourced, not executed."
+  exit 1
+fi
+
+source tool_shared/bespoke🖉/env
+source tester/tool🖉/env
+
diff --git "a/developer/bash\360\237\226\211/test_env" "b/developer/bash\360\237\226\211/test_env"
new file mode 100755
index 0000000..18d75f9
--- /dev/null
+++ "b/developer/bash\360\237\226\211/test_env"
@@ -0,0 +1,24 @@
+#!/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+
+# try both running and sourcing this test
+
+echo
+echo "--------------------------------------------------------------------------------"
+echo "from within test_shared/bespoke/test_env:"
+echo
+echo "REPO_HOME:" "$REPO_HOME"
+echo "PROJECT:" "$PROJECT"
+echo "script_afp:" "$script_afp"
+echo "script_adp:" "$(script_adp)"
+echo "script_fn:" "$(script_fn)"
+echo "script_fp:" "$(script_fp)"
+echo "script_dp:" "$(script_dp)"
+echo "ENV:" "$ENV"
+echo "-----------------------"
+echo "the BASH_SOURCE stack:"
+
+	  top_index=$(( ${#BASH_SOURCE[@]} - 1 ))
+	  for (( i=0; i<=top_index; i++ )); do
+	    echo "$i: ${BASH_SOURCE[$i]}"
+	  done
diff --git "a/developer/bash\360\237\226\211/wipe_release" "b/developer/bash\360\237\226\211/wipe_release"
new file mode 100755
index 0000000..5bac0e7
--- /dev/null
+++ "b/developer/bash\360\237\226\211/wipe_release"
@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+# remove all files in the release directory
+set -e
+
+script_name=$(basename ${BASH_SOURCE[0]})
+if [ -z "$REPO_HOME" ]; then
+  echo "$script_name:: REPO_HOME is not set."
+  exit 1
+fi
+
+set -x
+cd "$REPO_HOME"
+rm -rf release/*
+set +x
+
+echo "$script_name done."
+
diff --git a/env_administrator b/env_administrator
new file mode 120000
index 0000000..c530ee5
--- /dev/null
+++ b/env_administrator
@@ -0,0 +1 @@
+release/bash/env_administrator
\ No newline at end of file
diff --git "a/env_administrator\360\237\226\211" "b/env_administrator\360\237\226\211"
deleted file mode 100644
index 2f09f8a..0000000
--- "a/env_administrator\360\237\226\211"
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-script_afp=$(realpath "${BASH_SOURCE[0]}")
-if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
-  echo "$script_afp:: This script must be sourced, not executed."
-  exit 1
-fi
-
-source tool_shared/bespoke🖉/env
-source tool🖉/env
-
diff --git a/env_devloper b/env_devloper
new file mode 120000
index 0000000..bb04f15
--- /dev/null
+++ b/env_devloper
@@ -0,0 +1 @@
+release/bash/env_devloper
\ No newline at end of file
diff --git "a/env_devloper\360\237\226\211" "b/env_devloper\360\237\226\211"
deleted file mode 100644
index c2f5c58..0000000
--- "a/env_devloper\360\237\226\211"
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-script_afp=$(realpath "${BASH_SOURCE[0]}")
-if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
-  echo "$script_afp:: This script must be sourced, not executed."
-  exit 1
-fi
-
-source tool_shared/bespoke🖉/env
-source developer/tool🖉/env
-
diff --git a/env_tester b/env_tester
new file mode 120000
index 0000000..2d01e28
--- /dev/null
+++ b/env_tester
@@ -0,0 +1 @@
+release/bash/env_tester
\ No newline at end of file
diff --git "a/env_tester\360\237\226\211" "b/env_tester\360\237\226\211"
deleted file mode 100644
index 36df441..0000000
--- "a/env_tester\360\237\226\211"
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-script_afp=$(realpath "${BASH_SOURCE[0]}")
-if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
-  echo "$script_afp:: This script must be sourced, not executed."
-  exit 1
-fi
-
-source tool_shared/bespoke🖉/env
-source tester/tool🖉/env
-