How do I change the port for Unison?

ryan.mongeau · 09-16-2013, 10:26 AM

I want to change the port ssh uses. I can successfully do this, but unison also depends on the same port so it cannot establish a connection. I cannot find a clear definition on how to do this. Has anyone successfully done so? Any information would be greatly appreciated; I use Debian. Thank you.

Habitual · 09-16-2013, 10:34 AM

unison version and how was it installed please?

ryan.mongeau · 09-16-2013, 11:41 AM

Hello,
I am using unison 2.32.52 installed via apt-get.

Habitual · 09-16-2013, 01:00 PM

It's not clear to me how this is done using unison over ssh, Sorry.
http://www.cis.upenn.edu/~bcpierce/u...on-manual.html
discusses how various ssh components and/or arguments go together.

Seems rsync may be less problematic...?

ntubski · 09-16-2013, 01:17 PM

The manual says:

Quote:

Extra arguments can be passed to ssh by setting the -sshargs preference.

You could add -p port there. Also it doesn't say this explicitly, but since it allows "ssh://username@remotehostname/a.tmp" maybe "ssh://username@remotehostname:port/a.tmp" would work too.

Habitual · 09-16-2013, 02:46 PM

-sshargs xxx other arguments (if any) for remote shell command