Diffusion Isabelle 4a0b7151fedc

removed remains of proxy_host management: delegated to .ssh/config;
4a0b7151fedc
Actions

Tags

None

Subscribers

None

Description

removed remains of proxy_host management: delegated to .ssh/config;

Details

Provenance

Authored on

Parents

rISABELLEb8f26c20d3b1: ssh client via regular OpenSSH tools, with authentic use of .ssh/config…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4a0b7151fedc: removed remains of proxy_host management: delegated to .ssh/config;.Sep 12 2022, 11:03 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

General/

rISABELLE4a0b7151fedc

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/ssh.scala

Loading...