I would like to start a snap-packaged CoqIDE remotely through X11. It does not work. I access my remote Debian 11.4 machine through ssh -X from my office Windows. I tried this from a home CentOS box as well, that is far from any firewall.
At first my other snap applications did not work either, but setting XAUTHORITY solved their problem. Their error message was:
X11 connection rejected because of wrong authentication.
My snap CoqIDE gives this error message:
Unable to init server: Could not connect: Connection refused
Fatal error: exception Gtk.Error("GtkMain.init: initialization failed\nml_gtk_init: initialization failed")
This seems to be not X11, but something GTK-specific.
https://wiki.paparazziuav.org/wiki/Installation/Windows10
writes:
Ubuntu on windows 10 is only command line and there is no GUI. So after finishing this step, you likly get an error like this:
Fatal error: exception Gtk.Error(“GtkMain.init: initialization failed\nml_gtk_init: initialization falied”)
So my snap CoqIDE might sense that there is no X server around.
It is not clear to me exactly what does want to connect what for the first error message
Unable to init server: Could not connect: Connection refused
I did an strace on my snap CoqIDE and it seems that it only tries AF_UNIX sockets, not AF_INET ones. It might be that he tries to find an X server on localhost, i.e. on the remote machine, not the X server on my Windows.
How can I debug this further? Is this a programming or a configuration problem?
