Please see https://community.jenkins.io/t/how-do-i-use-svn-ssh-with-a-custom-port-and-externals-on-jenkins/5933 for a full description of the problem.

In daily use, we use the $HOME/.ssh/config with an entry like this:

HOST subversion
  Hostname subversion.dynautics.local
  IdentityFile ~/.ssh/id_rsa
  User agrowcott
  Port 2223

I need to be able to specify something similar for the Subversion plugin so that all SVN connections over SSH to that specific host use port 2223.

I was advised to specify a default Subversion over SSH port by creating /var/lib/jenkins/.subversion/config and populating it with:

[tunnels]
ssh = ssh -p 2223

However, this did not work.

I have checked the documentation for the Subversion plugin for Jenkins, and cannot find any mention of any configuration files to go under /var/lib/jenkins/.subversion (or anywhere else for that matter) or what the contents of any such files should be.