On 23-02-2009, Mehdi Dogguy <mehdi.dogguy@pps.jussieu.fr> wrote: > > > Stefano Zacchiroli wrote: >> I vote for this one: > - dom-checkout > - dom-mrconfig > - dom-new-repo Allow to list all tools by using "dom-" + completion Regards, Sylvain Le Gall