On 09:14 Sun 23 Sep , Jason A. Donenfeld wrote: > On Sun, Sep 23, 2012 at 9:10 AM, milki <milki at rescomp.berkeley.edu> wrote: > > > > I don't believe this is the case yet for delete|rm|remove > > Line 397: if [[ -d $GIT_DIR && ! -e $passfile ]]; then Ah...I see it now. -- milki