Is ClockConfig.ini still used?
ClockConfig.ini is not written. And if you create one yourself you cannot get the format right.
Here is the format:
[scores] dotinvadershighscore = 0 dotinvadersgamesplayed = 0 outbreakhighscore = 0 outbreakgamesplayed = 0 spacedothighscore = 0 spacedotgamesplayed = 0 defenderhighscore = 0 defendergamesplayed = 0
It is a leftover from a previous version. It should be created if it does not exist (automatically). I will find it and try to fix.
I fixed the issue by pointing it to /tmp/ClockConfig.ini. Now it gets created. Permissions issue probably because of running the python scripts under sudo.
Can you add more LED configuration parameters in the config file? For example, i need to add --led-gpio-mapping=adafruit-hat to the config manually. It would be good if that was in the config file.