After that, the script restarts itself and starts the true installation of the game files, which should be around 1.000.
If I recall right, SIGINT: bad trap is the script not being able to do this planned restart. Running it by hand a second time right after getting the error should resolve it.
Yep. Thanks for that answer.
So I restarted it manually, and it was able to install the ~1000 additionnal files. The install seems successfull.
But I still get an error when I try to launch the game.
Getting files from dsbuild 195/global/ to /usr/local/games/dockingstation
Converting images to local format
./imageconvert: error while loading shared libraries: libgtk-1.2.so.0: cannot open shared object file: No such file or directory
It's still linked with that libgtk-1.2 thing, which does not seem to be installed. I don't know how to pass throught that problem.