diff options
Diffstat (limited to 'ves-delete.sh')
| -rwxr-xr-x[-rw-r--r--] | ves-delete.sh | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/ves-delete.sh b/ves-delete.sh index 6d1557b..648677d 100644..100755 --- 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 } |