Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-13 Thread Gábor Boskovits
Hello, sirgazil ezt írta (időpont: 2020. febr. 13., Csü 19:09): > On Wed, 12 Feb 2020 23:26:22 -0500 Gábor Boskovits < > boskov...@gmail.com> wrote > > Hello, > > > > Christopher Baines ezt írta (időpont: 2020. febr. > 13., > > Csü 0:55): > > > > > > > > Ludovic Courtès write

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-13 Thread sirgazil
On Wed, 12 Feb 2020 23:26:22 -0500 Gábor Boskovits wrote > Hello, > > Christopher Baines ezt írta (időpont: 2020. febr. 13., > Csü 0:55): > > > > > Ludovic Courtès writes: > > > > > Hello! > > > > > > sirgazil skribis: > > > > > >> I have GNOME 3.32.2 now. When I laun

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-12 Thread Gábor Boskovits
Hello, Christopher Baines ezt írta (időpont: 2020. febr. 13., Csü 0:55): > > Ludovic Courtès writes: > > > Hello! > > > > sirgazil skribis: > > > >> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed > that the font is too big and the spacing between characters seems odd: > >

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-12 Thread Christopher Baines
Ludovic Courtès writes: > Hello! > > sirgazil skribis: > >> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that >> the font is too big and the spacing between characters seems odd: >> >> >> https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-02-12 Thread Ludovic Courtès
Hello! sirgazil skribis: > I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the > font is too big and the spacing between characters seems odd: > > > https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png > > Maybe there is a bug with

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-01-09 Thread sirgazil
On Wed, 08 Jan 2020 20:16:59 -0500 Tobias Geerinckx-Rice wrote > Sirgazil, > > sirgazil 写道： > > Maybe there is a bug with the defaults (at least with the > > spacing)? > > Yes, although the spacing is simply a side-effect of a bad or > missing default font. This is what va

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-01-09 Thread sirgazil
On Thu, 09 Jan 2020 03:47:41 -0500 Christopher Baines wrote > > sirgazil writes: > > > Hi, > > > > I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that > > the font is too big and the spacing between characters seems odd: > > > > > > https://multim

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-01-09 Thread Christopher Baines
sirgazil writes: > Hi, > > I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the > font is too big and the spacing between characters seems odd: > > > https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png > > Maybe there is a bug with

Re: GNOME Terminal: Horrible font after guix system reconfigure

2020-01-08 Thread Tobias Geerinckx-Rice
Sirgazil, sirgazil 写道： Maybe there is a bug with the defaults (at least with the spacing)? Yes, although the spacing is simply a side-effect of a bad or missing default font. This is what variable-width (proportional) fonts look like when rendered as fixed-width (monospace) cells. If you'

GNOME Terminal: Horrible font after guix system reconfigure

2020-01-08 Thread sirgazil
Hi, I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the font is too big and the spacing between characters seems odd: https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png Maybe there is a bug with the defaults (at least with the spa