Can someone please tell me where the config file is located to change the default port of remote desktop in Debian? I'm using Gnome if that makes a difference. Thanks.