diff options
| -rwxr-xr-x | scripts/env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/env b/scripts/env index d783e20efe..afa6d9fff4 100755 --- a/scripts/env +++ b/scripts/env @@ -158,7 +158,7 @@ env_delete() { env_switch() { local name="${1##*/}" [ -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" env_init env_ask_sync |