| 8 |
|
rm -f EMPTY |
| 9 |
|
echo -n > EMPTY |
| 10 |
|
sleep 2 |
| 11 |
< |
( ls $* | sed -e 's~/~\\/~g' -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > /tmp/sed$$ |
| 11 |
> |
set sedf=`mktemp /tmp/sed.XXXXXX` |
| 12 |
> |
( ls $* | sed -e 's~/~\\/~g' -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > $sedf |
| 13 |
|
getbbox -w $* >/dev/null |
| 14 |
|
set es=$status |
| 15 |
|
if ( $es == 0 ) then |
| 16 |
|
sync |
| 17 |
|
sleep 2 |
| 18 |
< |
ls -tuL | sed -f /tmp/sed$$ | sort |
| 18 |
> |
ls -tuL | sed -f $sedf | sort |
| 19 |
|
endif |
| 20 |
|
quit: |
| 21 |
< |
rm -f /tmp/sed$$ EMPTY |
| 21 |
> |
rm -f $sedf EMPTY |
| 22 |
|
exit $es |
