I forgot one thing, re: refresh needed to run Ubuntu 22.04 in high-res terminal mode

[M. Fioretti]

On Tue, May 02, 2023 02:26:20 AM +0800, Bret Busby wrote:

> > In going into a terminal, using the GUI terminal emulator (Mater
> > terminal, as IO previously mentioned), in the drop down menu's,
> > Terminal, at the bottom, has differing resolutions, and, Edit -> Profile
> > Preferences -General has, at the bottom of the window tab, the option
> > "Use custom default terminal size", in which, you can set the number of
> > columns and rows.
> > 
> > Does that achieve what you want?

Hi Bret, and all. Yes, this, or some variant of this, would be OK for
terminals inside a GUI window manager, but I would also like to do it
at the "real" console, without starting anything like X or Wayland.

Thanks,
Marco