chiark / gitweb /
otter cli: Implement remote ssh connection
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 31 May 2021 21:20:49 +0000 (22:20 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 1 Jun 2021 00:33:18 +0000 (01:33 +0100)
commit67cae613b4d28f897e205e8853ded830c5edf41d
treed1224b9547af879175cd7df5d79d96dfae6cf259
parent3dc69f1c132b59fcdf6c859b0f097d5a525cc115
otter cli: Implement remote ssh connection

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