[darcs-users] darcs dist output directory

Peter "Firefly" Lund firefly at diku.dk
Sun Aug 27 13:33:19 UTC 2006


On Sun, 27 Aug 2006, Tommy Pettersson wrote:

> Perhaps the --dist-name option could divide the distname into a
> directory part and a base name part, and make sure the tar file
> (or whatever) ends up at the right place. Would other darcs
> users find this intuitive?

Yes!

I much prefer this to adding an option for the directory.

-Peter




More information about the darcs-users mailing list