On Sun 23 Jul 2017 at 17:52:19 (-0600), D. R. Evans wrote:
> D. R. Evans wrote on 07/22/2017 11:48 AM:
>
> > I am 99+% sure that the proprietary driver is being used, because the screen
> > looks quite different during the boot sequence, and slightly different once
> > I
>
> I have discovered that if I open a console after switching to the NVIDIA
> driver, the text is huge.
>
> I tried this solution (for Arch; I saw some posts about Debian, but nothing
> that seemed to be a definitive solution):
>
> https://wiki.archlinux.org/index.php/GRUB/Tips_and_tricks#Setting_the_framebuffer_resolution
>
> and added the following two lines to the grub configuration file:
>
> GRUB_GFXMODE=1280x1024x16,1024x768,auto
> GRUB_GFXPAYLOAD_LINUX=keep
>
> that had the effect of making the font considerably better during booting, but
> I no longer saw a graphical login screen, and switching manually to the :0
> display with ctrl-alt-F7 just gave me a blank screen. (I chose the
> 1280x1024x16 number more or less at random, just to try it and see what it
> looked like.)
>
> So I have removed those two lines, and returned to having a massive console
> font (but a working desktop), but am wondering what the right way is in debian
> jessie to get a more reasonable size of font on the console while still having
> a desktop.
I use setfont. One advantage is that you can set different fonts
on different consoles. Having xfonts-terminus installed, I use
alias my-font-vast='setfont Lat15-Terminus32x16'
alias my-font-huge='setfont Lat15-Terminus28x14'
alias my-font-large='setfont Lat15-Terminus24x12'
alias my-font-medium='setfont Lat15-Terminus20x10'
alias my-font-small='setfont Lat15-Terminus14'
alias my-font-tiny='setfont Lat15-Terminus12x6'
and I have the bash function
my-font-usr-share-consolefonts
set up so that I can use command completion to remind me where
the fonts are. This function loads an arbitrary font (by file
completion) from that directory. The meat of the function is
local FILENAME="$(basename "$1")"; setfont "${FILENAME%%.*}"
Cheers,
David.
