Hi, I've been looking for a sort of counterpart to 'darcs get' which deletes a checked-out repository. The scenario is that I've checked out a repository with 'darcs get', made some modifications, used 'darcs push' to commit my changes, and now I want to delete the thing that I checked out. It would be nice to have a single command which checks that there is nothing in the directory which has not been committed to the repository I am pushing to, and then deletes the directory in a single step. The syntax might be 'darcs release --repodir=THEDIR PARENT_REPO. This would first call 'darcs push'; then, if all the patches in THEDIR are also in PARENT_REPO, and there are no extra (non-boring) files in THEDIR, it would delete THEDIR. Does this make sense? I think it would be especially useful with darcs because of the way darcs lets users manage multiple versions of the same repository simultaneously - as a result you tend to get a lot of repositories floating around and it would be nice to have a handy way to clean them up.
Frederik -- http://ofb.net/~frederik/ _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
