[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