#947749 tipp10 ignores existing setting file, instead resets to its defaults at every start

Package:
tipp10
Source:
tipp10
Description:
free open source touch typing software
Submitter:
Henning Gebhard
Date:
2019-12-29 23:00:07 UTC
Severity:
normal
#947749#5
Date:
2019-12-29 22:56:23 UTC
From:
To:
Dear Maintainer,


   * What led up to the situation?

Installing tipp10 with apt, starting tipp10, changing settings and restarting
tipp10.


   * What exactly did you do (or not do) that was effective (or
     ineffective)?

After starting tipp10 for the first time, I have opened its settings dialog and
set the keyboard layout to "Deutschland | NEO Version 2" and the lecture type
to "Deutsch | NEO Version 2". I also disactivated the welcome screen.
I then saved the settings.

   * What was the outcome of this action?

After restarting tipp10, the welcome screen loads up again and all the settings
are back to their defaults.



Some more details:
while testing, I found that tipp10 _does_ in fact honor and remember a custom
path to its db file. All other settings that I tested have been reset after
restarting tipp10. I also noticed that the settings file at "~/.config/Tom
Thielicke IT Solutions/TIPP10.conf" looks weird after saving new settings:
there are two [%General] sections with contradicting values.

FWIW: removing the unwanted General section and/or modifying the settings file
directly does not change anything.


Thank you for your consideration. Please let me know if there is something else
I can check or try.