Parece que he encontrado la solución. Es necesario invocar al editor de configuración (desde el terminal, teclea gconf-editor) y una vez dentro del mismo, accede a desktop/remote-acces. En las propiedades verás alternative_port con el valor por defecto 5900. Pincha y teclea el número de puerto que quieras. Eso es todo!
fuente
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario