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
pgpaXU8UMMOc3.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
