Konfiguration
- Zielstellung
- Weitestgehende Konfiguration der Toolbox über Konfigurationsdateien
- Motivation
- Voreinstellungen auf die Vorlieben und Bedürfnisse des jeweiligen Nutzers anpaßbar
- Problem
- Bislang nur für die GUI ansatzweise sinnvoll umgesetzt.
- Klare Trennung zwischen mitgelieferten (
.ini.dist) und daraus generierten (.ini) Konfigurationsdateien
- Lösung
- Konsequente Umsetzung der Konfigurationsdateien
- ggf. neuer Speicherort (
~/.trepr)