[m-rev.] for review: stop gator from copying sources to hosts that already have it

[Julien Fischer]

On Mon, 20 Feb 2006, Samrith UONG wrote:

> For review by Ralph or Julien.
>
> Estimated hours taken: 0.2
>
> extras/gator/gator:
>         Use gzip instead of bzip2, which is more likely to be available
>         (and for some reason has disappeared off leopard).
>

Perhaps the script could check for the existence of bzip2 or gzip?
(It should have reappeared on leopard now - was it actually ever
installed?)

>         Be a bit smarter about copying source code to other hosts.
>         Don't copy it if it already exists on the remote machine.  Also
>         delete it from the temporary directory once we're done with it
>         so we don't waste space.

That's fine.  (In the future could you please post diffs as unified diffs,
with the -u option).

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------