Hi
@Loic2003 !
Thanks for patching your package so quickly
I'll give this new version a try ASAP !
Another issue I found is that set options are lost upon restart...
I believe the root cause to be:
Cheers, Magic Sam
[doublepost=1526236865,1526234373][/doublepost]Hi,
Exporting SUPERTUX2_USER_DIR to "$HOME/.supertux2" does help a little, but then:
I tried changing this file permissions from 0600 to something more liberal, but to no avail
Everytime I restart the game, that good old config file is back...
Cheers, Magic Sam