X-Git-Url: https://git.rohieb.name/openwrt.git/blobdiff_plain/eeddc0fb462be32e9200610778d87a5d0b7a0b94..5b8cf3b2cf9fcdea5059e3c0f34efae4432823c4:/scripts/env diff --git a/scripts/env b/scripts/env index 1aee4b323..642a329c1 100755 --- a/scripts/env +++ b/scripts/env @@ -103,6 +103,7 @@ env_diff() { env_init env_sync_data git diff --cached + env_link_config } env_save() { @@ -150,7 +151,6 @@ env_delete() { local name="${1##*/}" env_init [ -z "$name" ] && usage - [ -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" git branch -D "$name" @@ -159,11 +159,10 @@ env_delete() { env_switch() { local name="${1##*/}" [ -z "$name" ] && usage - [ -f "$ENVDIR/.git/refs/heads/$name" ] || error "environment '$name' not found" env_init env_ask_sync - git checkout "$name" + git checkout "$name" || error "environment '$name' not found" env_link_config }