chiark / gitweb /
config: Observe that ssh_proxy_command will be split by ssh's shell
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 17:00:46 +0000 (18:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 17:04:40 +0000 (18:04 +0100)
commit2560819480905480ee1fd06eae35eaeebe87e90b
treea952093ee0c4817127d9b1eee2c68b21466621f6
parent7d430d58183fd8ec7cb1837985b68802ef1782cd
config: Observe that ssh_proxy_command will be split by ssh's shell

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/config.rs