Currently VNC Server is running on port 5901.
I want to change the port to be around 10000-10100 (in this range).
How can I do that?
I have already tried the suggestions from How can I change the default port of Remote Desktop (VNC)?:
gconftool-2 --set --type=bool /desktop/gnome/remote_access/use_alternative_port true gconftool-2 --set --type=int /desktop/gnome/remote_access/alternative_port 10050
since I want VNCServer to listen on port 10050 — but that doesn't make any change in the functionality.