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.
|