Isabelle/Scala SSH connections use OpenSSH executables
- 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 Sep 15 2022, 11:55 AM.