# | Line 7 | Line 7 | set es=1 | |
---|---|---|
7 | onintr quit | |
8 | rm -f EMPTY | |
9 | echo -n > EMPTY | |
10 | < | sleep 1 |
10 | > | sleep 2 |
11 | ( ls $* | sed -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > /tmp/sed$$ | |
12 | getbbox -w $* >/dev/null | |
13 | set es=$status | |
14 | if ( $es == 0 ) then | |
15 | + | sync |
16 | + | sleep 2 |
17 | ls -tuL | sed -f /tmp/sed$$ | sort | |
18 | endif | |
19 | quit: |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |