[darcs-devel] [issue1772] repo suggestion (no more cat _darcs/prefs/repos)

Eric Kow bugs at darcs.net
Fri Mar 19 16:12:02 UTC 2010


New submission from Eric Kow <kowey at darcs.net>:

This is a very nice new feature suggested by Joachim. It could be quite
easily implemented by a new Darcs hacker.

When you have multiple repositories that you interact with, darcs should
offer a menu (maybe if you pass in --ask-repos) that lets you select
which one.  Right now, the way to do it is to cat _darcs/prefs/repos and
pass it to darcs with --no-set-defaults

Note that in the Darcs community, we have this mechanism called the
Grumpy Old Man process which we use to actively resist new features, so
if you do implement this, be prepared to be challenged! See
http://wiki.darcs.net/Ideas :-D

----------
messages: 10296
nosy: alexsuraci, darcs-devel, dmitry.kurochkin, jaredj, kowey, nomeata, thomashartman1
priority: feature
status: need-implementation
title: repo suggestion (no more cat _darcs/prefs/repos)
topic: ProbablyEasy, UI

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1772>
__________________________________


More information about the darcs-devel mailing list