[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