The "ssh-command" setting:

The command used to talk to a remote machine with the "ssh://" protocol.

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]