removing setup_old_sourced core-developer_branch
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 5 Oct 2026 09:30:20 +0000 (09:30 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Mon, 5 Oct 2026 09:30:20 +0000 (09:30 +0000)
setup_old_sourced [deleted file]

diff --git a/setup_old_sourced b/setup_old_sourced
deleted file mode 100644 (file)
index a249e2e..0000000
+++ /dev/null
@@ -1,63 +0,0 @@
-#!/usr/bin/env bash
-# setup - enter a project role environment
-# (must be sourced)
-
-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
-
-project_roles="administrator consumer developer tester"
-
-print_usage(){
-  echo "usage: . setup <role>"
-  echo "known roles: ${project_roles}"
-}
-
-if [ -z "${1:-}" ] || [ "${1}" == "-h" ] || [ "${1}" == "--help" ]; then
-  print_usage
-  return 0
-fi
-
-role_is_valid=false
-for r in ${project_roles}; do
-  if [ "${1}" == "${r}" ]; then
-    role_is_valid=true
-    break
-  fi
-done
-
-if [ "${role_is_valid}" == "false" ]; then
-  echo "setup: unrecognized role or option '${1}'"
-  print_usage
-  return 1
-fi
-
-# setup the project
-#
-  source shared/tool/setup
-  if [[ -f "shared/authored/setup" ]]; then
-    source shared/authored/setup
-  fi
-
-# setup the role
-#
-  export ROLE="${1}"
-  export ROLE_HOME="$REPO_HOME/$ROLE"
-  echo ROLE_HOME "$ROLE_HOME"
-
-  tool="${ROLE_HOME}/tool"
-  if [[ ":${PATH}:" != *":${tool}:"* ]]; then
-    export PATH="${tool}:${PATH}"
-  fi
-
-  export SETUP="${ROLE}/tool/setup"
-
-  cd "${ROLE}" || return 1
-  if [ -f "tool/setup" ]; then
-    source "tool/setup"
-    echo "in environment: ${SETUP}"
-  else
-    echo "not found: ${SETUP}"
-  fi