Implements #120 (closed)
Default config with possibility of overwriting per-game in play-*.sh installation scripts and by user after the installation.
See here for Overwriting default DOSBox config instructions.
The default config placed in
$HOME/.dosbox/play.it.conf if there is no such file yet.
Thus, user can override the default persistently by editing that file.
Configs are read in this order:
- global user config from ~/.dosbox
- play.it defaults in ~/.dosbox/play.it.conf
- per-game dosbox.conf
All the files are user-writable.
The reason why we give "user config" less priority is because, despite the name, this file is auto-generated by dosbox with options not very well suited for us.
The whole purpose of play.it defaults is to override these unwanted options.
If, for some reason, this overriding is inappropriate for the user - he can comment out undesirable options in play.it.conf, or just make the file zero-sized.