Change port for Desktop sharing in Ubuntu 12.10
I was looking to change the port in Ubuntu 12.10 for Desktop sharing. I've done it before but have since clean installed and can't remember where to change it. It was an interface similar to gconf-editor.
Cheers
The tool is dconf-editor. Install it by installing the dconf-tools package from the repositories. Open it, and navigate to desktop.gnome.remote-access.
Also you need to check the "use-alternative-port" checkbox.