From: Thomas Walker Lynch Date: Sat, 7 Dec 2024 11:02:01 +0000 (+0000) Subject: fixes typo X-Git-Url: https://git.reasoningtechnology.com/style/%7Bstyle.link%7D?a=commitdiff_plain;h=73abe689af17d547f3446f8018fea7cdfc6f1c21;p=RT-project-share fixes typo --- diff --git "a/developer/bash\360\237\226\211/env_developer" "b/developer/bash\360\237\226\211/env_developer" new file mode 100644 index 0000000..c2f5c58 --- /dev/null +++ "b/developer/bash\360\237\226\211/env_developer" @@ -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\360\237\226\211/env_devloper" "b/developer/bash\360\237\226\211/env_devloper" deleted file mode 100644 index c2f5c58..0000000 --- "a/developer/bash\360\237\226\211/env_devloper" +++ /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 -