# | Line 8 | Line 8 | onintr quit | |
---|---|---|
8 | rm -f EMPTY | |
9 | echo -n > EMPTY | |
10 | sleep 2 | |
11 | < | ( ls $* | sed -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > /tmp/sed$$ |
11 | > | ( ls $* | sed -e 's~/~\\/~g' -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > /tmp/sed$$ |
12 | getbbox -w $* >/dev/null | |
13 | set es=$status | |
14 | if ( $es == 0 ) then |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |