| # | 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 |