updating to renamed RT-incommon -> RT-project-share
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sun, 8 Dec 2024 04:31:19 +0000 (04:31 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sun, 8 Dec 2024 04:31:19 +0000 (04:31 +0000)
tool_shared/bespokeđź–‰/env
tool_shared/documentđź–‰/install.txt
toolđź–‰/env

index 3ed782f..aac42da 100644 (file)
@@ -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
index a6df14c..a753869 100644 (file)
@@ -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
 
 ----------------------------------------
index 73eaff8..d3541e6 100644 (file)
@@ -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/\