0xf0, 10 months ago @kzimmermann @joel haven’t used that in eons but if memory serves you can override individual settings from the command line (eg which font to use and such…)
@kzimmermann @joel haven’t used that in eons but if memory serves you can override individual settings from the command line (eg which font to use and such…)