darcs

Issue 2254 Push/Send without repos pref file gives unhelpful error

Title Push/Send without repos pref file gives unhelpful error
Priority Status unknown
Milestone Resolved in
Superseder Nosy List owst
Assigned To
Topics

Created on 2012-10-10.17:41:06 by owst, last changed 2012-10-11.20:59:53 by owst.

Messages
msg16222 (view) Author: owst Date: 2012-10-10.17:41:05
1. Summarise the issue (what were doing, what went wrong?)

I tried to push in a repo that I had forgotten was local only, and got a
stupid error message.

% darcs push

darcs failed:  Missing argument:  [REPOSITORY]

A similar message is given for send.

2. What behaviour were you expecting instead?

Darcs should tell me that I've not got any repo sources defined:

% darcs push

"You don't have any remote repos in $PREFFILE. Please specify where to
push to!
 passing --set-default will make the given destination the default"

3. What darcs version are you using? (Try: darcs --exact-version)

2.9.5 (+ 33 patches)

4. What operating system are you running?
 
Ubuntu x86_64
msg16226 (view) Author: owst Date: 2012-10-10.18:10:35
Somewhat related to issue2239, probably worth looking at that, at the
same time.
History
Date User Action Args
2012-10-10 17:41:06owstcreate
2012-10-10 18:10:37owstsetmessages: + msg16226
2012-10-11 20:59:53owstsettitle: Push/Send without repos prefile gives unhelpful error -> Push/Send without repos pref file gives unhelpful error