io.github.wxmaxima_developers.wxMaxima.yaml

app-id: io.github.wxmaxima_developers.wxMaxima
runtime: org.gnome.Platform
runtime-version: '43'
sdk: org.gnome.Sdk
command: wxmaxima
finish-args:
  # X11 + XShm access
  - --share=ipc
  - --socket=x11
  # Network access
  # for update checker
  - --share=network
  # Persist
  - --persist=.maxima
  # Filesystem access
  - --filesystem=host
  # Dconf access
  - --filesystem=xdg-run/dconf
  - --filesystem=~/.config/dconf:ro
  - --talk-name=ca.desrt.dconf
  - --env=DCONF_USER_CONFIG_DIR=.config/dconf
  # OpenGL access
  - --device=dri
modules:
  - wxMaxima.yaml