darcs

Issue 2113 useless error message after ssh host key change on the remote server

Title useless error message after ssh host key change on the remote server
Priority Status unknown
Milestone Resolved in
Superseder Nosy List iderrick
Assigned To
Topics

Created on 2011-12-06.22:39:50 by iderrick, last changed 2011-12-06.22:39:50 by iderrick.

Messages
msg14831 (view) Author: iderrick Date: 2011-12-06.22:39:49
After a change in the ssh host key on the server hosting my repository,
all darcs commands fail with a useless error message:

darcs push myserver:/path/to/my/repo
darcs failed:  Not a repository: myserver:/path/to/my/repo ((scp) failed
to fetch: myserver:/path/to/my/repo/_darcs/inventory)

The real ssh error is:
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

and more.

Darcs should either catch this kind of errors or display the raw ssh
error. The second solution seems to be easier to implement and more
general for any ssh problem.
History
Date User Action Args
2011-12-06 22:39:50iderrickcreate