From 0ecfe53b2d271133fac36de11ecfc0f7e47840f0 Mon Sep 17 00:00:00 2001 From: "Douglas B. Rumbaugh" Date: Sat, 6 Jun 2026 12:27:03 -0400 Subject: Initial version complete I dusted this off after years and had Claude finish it for me. caveat emptor: this is largely (though not entirely) LLM generated as of this commit --- ves-delete.sh | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) mode change 100644 => 100755 ves-delete.sh (limited to 'ves-delete.sh') diff --git a/ves-delete.sh b/ves-delete.sh old mode 100644 new mode 100755 index 6d1557b..648677d --- a/ves-delete.sh +++ b/ves-delete.sh @@ -1,7 +1,11 @@ #!/bin/sh +# +# Delete an existing sh-ves environment. The active environment may not +# be deleted; deactivate it first. +# ves_delete() { if [ "$#" -lt 1 ]; then - printf "ERROR: No environment name specified.\n" > /dev/stderr + printf "ERROR: No environment name specified.\n" >&2 return 1 fi @@ -11,11 +15,16 @@ ves_delete() { fi if ! _shves_check_env_exists "$env_name"; then - return 1; + return 1 + fi + + if [ "$env_name" = "$SHVES_ENV_NM" ]; then + printf "ERROR: Environment [%s] is currently active. Deactivate it first.\n" "$env_name" >&2 + return 1 fi rm -f "$SHVES_ENV_DIR/$env_name" - printf "Environment [%s] deleted successfully\n" $env_name + printf "Environment [%s] deleted successfully\n" "$env_name" return 0 } -- cgit v1.2.3