docs: def ssh_args(conn):
      """Create SSH command for connecting specified server."""
      I, = conn.identities
      identity = I.identity_dict
      pubkey_tempfile, = conn.public_keys_as_files()
  
      args = []
      if 'port' in identity:
          args += ['-p', identity['port']]
      if 'user' in identity:
          args += ['-l', identity['user']]
  
      args += ['-o', 'IdentityFile={}'.format(pubkey_tempfile.name)]
      args += ['-o', 'IdentitiesOnly=true']
      return args + [identity['host']]