diff --git a/scripts/env b/scripts/env index d783e20efedf62e52114eaaea4cb6dc980e1e246..afa6d9fff48e52a31073ab51e026fe436f5d5132 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