I hadn't worked out the interface. Your suggestion sounds good to me. I'd
probably add the flag both to apply and to pull, since the two are
symmetric. A darcs revert -a would allow you to put the working directory
back if you ever want it... and I suppose we could also add the flag to
darcs get/put.
Ah, one other thing: one of the main advantages of a patches-only repo was that there's no
need for darcs installed on the server, at least that's how I thought of the dumb
mirroring script. But if the modification is to darcs apply I guess we still need darcs on
the remote it just won't do as much.
From my original mail :
"
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.
"
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
