From: Thomas Walker Lynch <eknp9n@reasoningtechnology.com>
Date: Sun, 8 Dec 2024 04:31:19 +0000 (+0000)
Subject: updating to renamed RT-incommon -> RT-project-share
X-Git-Url: https://git.reasoningtechnology.com/style/static/gitweb.js?a=commitdiff_plain;h=0c86f9e823ac0a65fae9beaf80be5000379f6b7d;p=Mosaic

updating to renamed RT-incommon -> RT-project-share
---

diff --git "a/tool_shared/bespoke\360\237\226\211/env" "b/tool_shared/bespoke\360\237\226\211/env"
index 3ed782f..aac42da 100644
--- "a/tool_shared/bespoke\360\237\226\211/env"
+++ "b/tool_shared/bespoke\360\237\226\211/env"
@@ -34,8 +34,8 @@ fi
 # --------------------------------------------------------------------------------
 # The project administrator sets up the following tools for all roles to use:
 #
-  PATH="$REPO_HOME/tool_shared/third_party/RT-incommon/release/bash:$PATH"
-  PATH="$REPO_HOME/tool_shared/third_party/RT-incommon/release/amd64:$PATH"
+  PATH="$REPO_HOME/tool_shared/third_party/RT-project-share/release/bash:$PATH"
+  PATH="$REPO_HOME/tool_shared/third_party/RT-project-share/release/amd64:$PATH"
   PATH="$REPO_HOME/tool_shared/third_party/emacs/bin:$PATH"
 
 # after having installed Itellij IDEA
diff --git "a/tool_shared/document\360\237\226\211/install.txt" "b/tool_shared/document\360\237\226\211/install.txt"
index a6df14c..a753869 100644
--- "a/tool_shared/document\360\237\226\211/install.txt"
+++ "b/tool_shared/document\360\237\226\211/install.txt"
@@ -10,13 +10,13 @@ the project and source the env_administrator environment.
   source env_administrator
 
 ----------------------------------------
-RT-incommon 
+RT-project-share 
 
 This pulls in documents and commonly used scripts. The project has symbolic links
 into RT-icommon, so this is not optional.
 
   cd "$REPO_HOME/tool_shared/third_party/"
-  git clone https://github.com/Thomas-Walker-Lynch/RT-incommon.git
+  git clone https://github.com/Thomas-Walker-Lynch/RT-project-share.git
   ln -s "$REPO_HOME/tool_shared/third_party/resource/document" see_also
 
 ----------------------------------------
diff --git "a/tool\360\237\226\211/env" "b/tool\360\237\226\211/env"
index 73eaff8..d3541e6 100644
--- "a/tool\360\237\226\211/env"
+++ "b/tool\360\237\226\211/env"
@@ -3,17 +3,19 @@ script_afp=$(realpath "${BASH_SOURCE[0]}")
 
 # input guards
 
-  env_must_be="tool_shared/bespoke/env"
-  error=false
+  env_must_be="tool_shared/bespoke🖉/env"
+  error_bad_env=false
+  error_not_sourced=false
   if [ "$ENV" != "$env_must_be" ]; then
     echo "$(script_fp):: error: must be run in the $env_must_be environment"
-    error=true
+    error_bad_env=true
   fi
   if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
     echo "$script_afp:: This script must be sourced, not executed."
-    error=true
+    error_not_sourced=true
   fi
-  if $error; then exit 1; fi
+  if $error_not_sourced; then exit 1; fi
+  if $error_bad_env; then return 1; fi
 
 export PATH=\
 "$REPO_HOME"/tool_shared/bespoke/\