Ben Elliston wrote: > > Port Specifies the port number to connect on the remote host. > Default > is 22. > > You'll need to give your second host a synthetic name in .ssh/config > and then refer to the host by that name within distcc's configuration. Thanks, it works! I should have called man ssh_config 5 earlier! Cheers, Steffen