X-Git-Url: http://git.ozo.com/?a=blobdiff_plain;f=scripts%2Fenv;h=65594f9a5d04b74f7372bf65ed699615426a817a;hb=21e17d6ad463edff7baf6e25a30041dcf22a8c4e;hp=1aee4b323b82b7565ef867aba36cb57152aa4b71;hpb=eeddc0fb462be32e9200610778d87a5d0b7a0b94;p=openwrt-10.03%2F.git diff --git a/scripts/env b/scripts/env index 1aee4b323..65594f9a5 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() { @@ -118,12 +119,12 @@ env_revert() { } env_ask_sync() { + env_sync_data LINES="$(env_diff | wc -l)" # implies env_init [ "$LINES" -gt 0 ] && { if ask_bool 1 "Do you want to save your changes"; then env_sync else - env_sync_data env_do_reset fi } @@ -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 }