debian/settings.conf.example