Zachary Pincus wrote: > Anyhow, I can't figure out a direct way to do this. There's the > rollback command, but that's problematic because it alters the > repository but not the working directory! So to get the working > directory to the state I want, I then need to run 'revert', which can > be a pain if there are other unrecorded changes in the working > directory.
You can give the file in question as argument to revert. Then only the changes in this file will be reverted. > Worse, since 'rollback' directly alters the repository, to > undo those changes, one would need to rollback the rollback. Which > darcs doesn't support! You can simply unpull the rollback. > (At least 1.0.7, which is what I have.) So to > get rid of the rollback, I have to run 'darcs unrecord', which feels > pretty problematic too... It isn't, as long as the patch is record in a local repo. I use unrecord and unpull all the time. I also use amend-record which is quite handy to build up patches incrementally. One just has to be careful not to upload temporary patches to a public repo (where 'public' means accessible to other developers). Cheers Ben _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
