darcs

Issue 1772 repo suggestion (no more cat _darcs/prefs/repos)

Title repo suggestion (no more cat _darcs/prefs/repos)
Priority feature Status needs-implementation
Milestone Resolved in
Superseder Nosy List alexsuraci, darcs-devel, dmitry.kurochkin, jaredj, kowey, nomeata, thomashartman1
Assigned To
Topics ProbablyEasy, UI

Created on 2010-03-19.16:12:02 by kowey, last changed 2010-07-22.10:48:45 by kowey.

Messages
msg10296 (view) Author: kowey Date: 2010-03-19.16:11:56
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
msg11819 (view) Author: kowey Date: 2010-07-22.10:48:44
Note that this could reuse some implementation work in patch308 for 
issue1530
History
Date User Action Args
2010-03-19 16:12:02koweycreate
2010-07-22 10:48:45koweysetmessages: + msg11819