Dear Florian,

this is a long shot, but recently I had some problems with SSH keys due to my OS (Linux, Fedora 33) changing crypto policies (see [0]). As a result SSH handshakes failed to work on some servers (like bitbucket.org). If this would be the problem, using "ssh -v", you should get

  send_pubkey_test: no mutual signature algorithm

somewhere in your output.

cheers

chris

[0] https://www.reddit.com/r/Fedora/comments/jhxbdh/no_ssh_public_key_auth_after_upgrade_to_fedora_33/

On 2/13/21 6:10 PM, Florian Haftmann wrote:
Works fine for me.

I guess something strange is wrong with my ssh key.

This is what I get for a plain ssh attempt:

$ ssh [email protected]
PTY allocation request failed on channel 0
bash: /home/hg/gitlab-shell/bin/gitlab-shell: No such file or directory
Connection to foss.heptapod.net closed.

Cheers,
        Florian


Manuel


On 13/02/2021 17:28, Florian Haftmann wrote:
pulling from ssh://[email protected]/isa-afp/afp-devel

yields

pulling from ssh://[email protected]/isa-afp/afp-devel
remote: bash: /home/hg/gitlab-shell/bin/gitlab-shell: No such file or directory
abort: no suitable response from remote hg!

It works for me right now. Maybe it was just a consequence of some recent 
updates.

Still the same behaviour.  Even more, a plain hg clone fails to.  And,
not surprising, a push also.

I’ll wait a little bit before taking any measures.

The only thing I changed recently is the SSH key.

Do others also experience problems or is everything running smooth?

Cheers,
        Florian


_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev



_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Reply via email to