[darcs-users] Re: publishing repo with no working dir

[Thomas Zander]

On Monday 13 June 2005 11:04, Jani Monoses wrote:
> >>If this worked there could be a darcs push variant which created such
> >>non-working-dir, repository-only repos without the need for server
> >>side darcs as applying would not be needed.
> > I think your idea is sound, as long as your careful about how you use
> > the repo. In the case where your publishing the repo to a web server,
> > it seems like a great solution.
>
> Thinking more about it I came to the conclusion that this is not
> actually a push variant rather a 'darcs mirror', since selective pushes
> might mean an inconsistent remote repo, since skipping the apply step
> means skipping validity check.
> But for a darcs mirror operation I think it would be just OK.

For this reason I feel an external tool can do this better. Some tools 
might be written to take advantage of better library availability for the 
different protocols then ghc has.

-- 
Thomas Zander
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20050613/7969aefa/attachment.pgp