Diffusion Isabelle 1d8b6c2253e6

proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);
1d8b6c2253e6
Actions

Tags

None

Subscribers

None

Description

proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);

Details

Provenance

Authored on

Parents

rISABELLE20a3543ae173: clarified connection parameters;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1d8b6c2253e6: proper host for ssh.hg_url (required aliasing works via $HOME/.ssh/config);.Mar 16 2020, 11:02 PM

makarius mentioned this in rISABELLE03133befa33b: support actual_host for lrzcloud2: the proxy_host/sshd cannot resolve invented….Mar 19 2020, 11:35 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE1d8b6c2253e6

src/Pure/Admin/isabelle_cronjob.scala

Loading...