On Tue, Jun 07, 2022 at 19:02:08 +0200, Reinoud Zandijk wrote: > On Sun, Jun 05, 2022 at 11:52:51AM +0000, RVP wrote: > > On Sun, 5 Jun 2022, Reinoud Zandijk wrote: > > > > > Could switching to the big fonts be an option? > > > > > > > With both fonts compiled in you can switch between them > > using: > > > > wsconsctl -dw font='Boldface 16x32' > > wsconsctl -dw font=Boldface > > These work quite well! Only how to configure this? When and where is > this set and configured?
man 5 wscons.conf -uwe
