[darcs-users] Re: deleting a repository

Tuomo Valkonen tuomov at iki.fi
Mon Aug 22 15:09:45 UTC 2005


On 2005-08-22, David Roundy <droundy at darcs.net> wrote:
> Another (perhaps foolish) idea would be to introduce scripts as pluggable
> darcs commands, so users could customize their darcs by sticking a script
> as ~/.darcs/commands/retire.  It would be an interesting challenge, working
> out an interface that allows a command to behave like a "real" darcs
> command.

I just use a number of scripts whose names differ very little from typing a
darcs command: darcs_feed (generates rss+html logs), darcs_sync
(push+darcs_feed), darcs_changes (iso 8601 dates), darcs_changes2html,
darcs_dist (darcs dist that includes logs in the tarball). Maybe this kind
of convention should just be adopted for additional darcs-related scripts?

-- 
Tuomo





More information about the darcs-users mailing list