Changeset 12399


Ignore:
Timestamp:
2008-08-27T16:13:47+02:00 (8 years ago)
Author:
nbd
Message:

fix ./scripts/env delete

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/scripts/env

    r12379 r12399  
    149149env_delete() { 
    150150        local name="${1##*/}" 
     151        env_init 
    151152        [ -z "$name" ] && usage 
    152         [ -f "$envdir/.git/refs/heads/$name" ] || error "environment '$name' not found" 
     153        [ -f "$ENVDIR/.git/refs/heads/$name" ] || error "environment '$name' not found" 
    153154        branch="$(git branch | grep '^\* ' | awk '{print $2}')" 
    154         [ "$name" = "branch" ] && error "cannot delete the currently selected environment" 
     155        [ "$name" = "$branch" ] && error "cannot delete the currently selected environment" 
    155156        git branch -D "$name" 
    156157} 
Note: See TracChangeset for help on using the changeset viewer.