[darcs-users] Another Feature request: repo memory

Jonathon Mah me at JonathonMah.com
Tue May 9 09:55:37 UTC 2006


Hi Ketil,

On 2006-05-09, at 18:57, Ketil Malde wrote:

> When juggling multiple repos, it would be nice if darcs would remember
> a repo history.  Instead of the "defaultrepo", it could maintain a
> list of repos, and just keep the default on top.  I find that I am
> often searching for the repo names.

Dacrs does maintain a list of remote repos: cat _darcs/prefs/repos
When you push/pull to a different repo, that automatically becomes  
the default repo. You can use the --no-set-default flag to avoid this.

> Further, darcs could tab-complete repos (requiring some shell
> support), or perhaps record aliases?  So that when I darcs pull
> droundy", darcs translates it to "http://darcs.net/whatever".

I think this would be better kept separate from darcs, either using a  
shell function or a wrapper around darcs.


Jonathon Mah
me at JonathonMah.com






More information about the darcs-users mailing list