ves-delete.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#!/bin/sh

OVERRIDE_VARS="PATH LDPATH"

if [ -z $XDG_DATA_HOME ]; then
    ENV_DIR="$HOME/.local/share/ves/envs"
else
    ENV_DIR="$XDG_DATA_HOME/ves/envs"
fi

check_name() {
    if [ ! -f "$ENV_DIR/$1" ]; then
        printf "ERROR: Environment [%s] does not exist.\n" $1 > /dev/stderr
        exit 1
    fi

    if ! echo $1 | grep "^[[:alpha:][:digit:]_-]*$" > /dev/null; then
        printf "ERROR: Environment [%s] is invalid. Name must contain only letters, -, and _\n" $1 > /dev/stderr
        exit 1
    fi
}


ENV_NAME="$1"

check_name "$1"
rm -f "$ENV_DIR/$ENV_NAME"

printf "Environment [%s] deleted successfully\n" $ENV_NAME