makes env_ scripts development items
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 7 Dec 2024 10:53:54 +0000 (10:53 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 7 Dec 2024 10:53:54 +0000 (10:53 +0000)
13 files changed:
developer/bash🖉/bash🖉 [deleted symlink]
developer/bash🖉/deprecate [new file with mode: 0755]
developer/bash🖉/env_administrator [new file with mode: 0644]
developer/bash🖉/env_devloper [new file with mode: 0644]
developer/bash🖉/env_tester [new file with mode: 0644]
developer/bash🖉/test_env [new file with mode: 0755]
developer/bash🖉/wipe_release [new file with mode: 0755]
env_administrator [new symlink]
env_administrator🖉 [deleted file]
env_devloper [new symlink]
env_devloper🖉 [deleted file]
env_tester [new symlink]
env_tester🖉 [deleted file]

diff --git a/developer/bash🖉/bash🖉 b/developer/bash🖉/bash🖉
deleted file mode 120000 (symlink)
index 97464d3..0000000
+++ /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🖉/deprecate b/developer/bash🖉/deprecate
new file mode 100755 (executable)
index 0000000..4713db5
--- /dev/null
@@ -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🖉/env_administrator b/developer/bash🖉/env_administrator
new file mode 100644 (file)
index 0000000..2f09f8a
--- /dev/null
@@ -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🖉/env_devloper b/developer/bash🖉/env_devloper
new file mode 100644 (file)
index 0000000..c2f5c58
--- /dev/null
@@ -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🖉/env_tester b/developer/bash🖉/env_tester
new file mode 100644 (file)
index 0000000..36df441
--- /dev/null
@@ -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🖉/test_env b/developer/bash🖉/test_env
new file mode 100755 (executable)
index 0000000..18d75f9
--- /dev/null
@@ -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🖉/wipe_release b/developer/bash🖉/wipe_release
new file mode 100755 (executable)
index 0000000..5bac0e7
--- /dev/null
@@ -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 (symlink)
index 0000000..c530ee5
--- /dev/null
@@ -0,0 +1 @@
+release/bash/env_administrator
\ No newline at end of file
diff --git a/env_administrator🖉 b/env_administrator🖉
deleted file mode 100644 (file)
index 2f09f8a..0000000
+++ /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 (symlink)
index 0000000..bb04f15
--- /dev/null
@@ -0,0 +1 @@
+release/bash/env_devloper
\ No newline at end of file
diff --git a/env_devloper🖉 b/env_devloper🖉
deleted file mode 100644 (file)
index c2f5c58..0000000
+++ /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 (symlink)
index 0000000..2d01e28
--- /dev/null
@@ -0,0 +1 @@
+release/bash/env_tester
\ No newline at end of file
diff --git a/env_tester🖉 b/env_tester🖉
deleted file mode 100644 (file)
index 36df441..0000000
+++ /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
-