# BEGIN SSH DEFAULTS Host * AddressFamily inet StrictHostKeyChecking no UserKnownHostsFile /dev/null Port 8146 # END SSH DEFAULTS