Cannot run frama-c-gui from the docker container on Ubuntu Linux

[clid]

I am running Ubuntu in a virtual machine, with the following config:

• VirtualBox 6.1
• Ubuntu 22.04 LTS Most packages are default and latest version according to the Ubuntu version, but since this potantially is a graphics issue I will add:
• X.Org X Server 1.21.1.4, X Protocol Version 11, Revision 0
• Wayland 1.22
• Mutter 42.9

Running echo $XDG_SESSION_TYPE gives Wayland.

In the virtual machine I can run frama-c-gui fine. With the docker image I get the following error message: ** (frama-c-gui:470): CRITICAL **: 11:41:11.606: GSourceFunc: callback raised an exception Following the message the GUI does not start, and the application does not halt either. Running frama-c works as expected also in the docker container.

[woosh]

Thanks for the bug report. This issue can be resolved by adding a few arguments to the docker run command:

docker run -it --env DISPLAY=$DISPLAY --volume /tmp/.X11-unix:/tmp/.X11-unix

'This will be added to the documentation.