[darcs-users] Command renamings and hide/show

David Brown darcs at davidb.org
Thu May 13 19:43:35 UTC 2004

On Thu, May 13, 2004 at 12:25:48PM -0700, Tanksley, William D. Jr. wrote:

> By the way, while we're talking about command names, does anyone aside from
> myself sometimes have a mental hiccup where you can't remember what the
> command is to check things in? All I can remember is that it starts with
> "re", and the names that pop to mind are things like "revert", "refresh",
> "restore", "redo"... I'm not suggesting that we change it, but if anyone has
> a better way of remembering the command, please share it with me.

% darcs re[TAB]
record     remove    repair    replace    revert

helps.  There are completion scripts for both bash and zsh.


More information about the darcs-users mailing list