From: Thomas Walker Lynch Date: Mon, 5 Oct 2026 09:30:20 +0000 (+0000) Subject: removing setup_old_sourced X-Git-Url: https://git.reasoningtechnology.com/%28%5B%5E?a=commitdiff_plain;h=refs%2Fheads%2Fcore-developer_branch;p=Harmony removing setup_old_sourced --- diff --git a/setup_old_sourced b/setup_old_sourced deleted file mode 100644 index a249e2e..0000000 --- a/setup_old_sourced +++ /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 " - 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