|
|
|
@ -148,10 +148,11 @@ env_clear() { |
|
|
|
|
|
|
|
|
|
env_delete() { |
|
|
|
|
local name="${1##*/}" |
|
|
|
|
env_init |
|
|
|
|
[ -z "$name" ] && usage |
|
|
|
|
[ -f "$envdir/.git/refs/heads/$name" ] || error "environment '$name' not found" |
|
|
|
|
[ -f "$ENVDIR/.git/refs/heads/$name" ] || error "environment '$name' not found" |
|
|
|
|
branch="$(git branch | grep '^\* ' | awk '{print $2}')" |
|
|
|
|
[ "$name" = "branch" ] && error "cannot delete the currently selected environment" |
|
|
|
|
[ "$name" = "$branch" ] && error "cannot delete the currently selected environment" |
|
|
|
|
git branch -D "$name" |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|