fixes typo
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 7 Dec 2024 11:02:01 +0000 (11:02 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 7 Dec 2024 11:02:01 +0000 (11:02 +0000)
developer/bashđź–‰/env_developer [new file with mode: 0644]
developer/bashđź–‰/env_devloper [deleted file]

diff --git a/developer/bashđź–‰/env_developer b/developer/bashđź–‰/env_developer
new file mode 100644 (file)
index 0000000..c2f5c58
--- /dev/null
@@ -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đź–‰/env_devloper b/developer/bashđź–‰/env_devloper
deleted file mode 100644 (file)
index c2f5c58..0000000
+++ /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
-