Am 28.07.20 um 16:41 schrieb Bruno BEAUFILS: > On Tue, Jul 28, 2020 at 04:27:03PM +0200, Markus Koschany wrote: >> Apparently you had installed custom main_menu sound files once and now >> minetest is unable to find or open them. >> >> Try removing all sound files in /home/bruno/.minetest/sounds/ > > I tested that already (completely removing .minetest folder) without > any success :-( > > I, however, just find something. I am running Gnome on Xorg. > > When I switch to Gnome (aka with Wayland) everything seems OK, no more > segfault :-/ > > Do you think I need to signal that to some other package maintainer? > > Thank's for your work and help.
It is likely related to some other package but without a proper backtrace I can't give you any recommendations. You could follow the instructions in Debian's wiki. https://wiki.debian.org/HowToGetABacktrace and look for error messages that show the segmentation fault.
signature.asc
Description: OpenPGP digital signature
