HomeIsabelle/Phabricator
Isabelle/Scala SSH connections use OpenSSH executables

System

  • Isabelle/Scala SSH connections now use regular OpenSSH executables from the local system: ssh, scp, sftp; the old ssh-java component has been discontinued. This has various practical consequences:
    • Authentication and configuration works accurately via the official .ssh/known_hosts and .ssh/config files.
    • Host connections are usually shared (via multiplexed channels), to reduce the overhead for multiple commands. This also works for SSH connections for rsync (e.g. isabelle sync). Windows/Cygwin does not support multiplexing: the functionality should be the same, but slower, with a new connection for each command.
    • Multiple hops via "bastion hosts" can be easily configured in .ssh/config via ProxyJump declarations. The former Isabelle/Scala parameters for proxy_host etc. have been discontinued: minor INCOMPATIBILITY.

This refers to Isabelle/361cfb8e3648.

Written by makarius on Thu, Sep 15, 11:55 AM.
User
Projects
None
Subscribers
None

Event Timeline