[m-dev.] diff: add backup script to tools

[Robert Ernst Johann JESCHOFNIK]

On Mon, 6 Dec 1999, Tyson Dowd wrote:

> Index: backupdir
> ===================================================================
> RCS file: backupdir
> diff -N backupdir
> --- /dev/null	Thu Mar  4 04:20:11 1999
> +++ backupdir	Mon Dec  6 17:14:33 1999
> @@ -0,0 +1,53 @@
> +#!/bin/sh
> +
> +#set -x

Just curious - do you really want this `set -x'? Seeing every line of this
script scroll past everytime you go to backup a dir could be slightly
undesireable. :)



Rob

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------