commit 4e5fd0f30b2ca11c74c18f572b5968a9f72a2882
parent de1b2787ee38de63b6ed7b2a8d91d0c943f93161
Author: Jan Pobříslo <ccx@te2000.cz>
Date: Fri, 23 Feb 2024 19:05:38 +0100
Check basename instead of dirname
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/command/pthbs-enter-gen b/command/pthbs-enter-gen
@@ -9,7 +9,7 @@ envcommand=$1/command
envdir=$envtop/env
exe=$envcommand/command/pthbs-enter
-case $(dirname "$envtop") in
+case $(basename "$envtop") in
(env.*) ;;
(*)
printf >&2 "Error: '%s' doesn't look like environment path!\n" "$envtop"