Re: 9x15bold xfont

2015-03-10 Thread Ludovic Courtès
宋文武 skribis: > Yes, you can modify xorg.scm, and then reconfigure your GuixSD from > the modified sources. > But IMO the xserver.conf in xorg.scm is not in a good shape for customization. Yeah, we should add parameters to allow users to specify the font packages (and have a sane default, too.)

Re: 9x15bold xfont

2015-03-09 Thread 宋文武
Yes, you can modify xorg.scm, and then reconfigure your GuixSD from the modified sources. But IMO the xserver.conf in xorg.scm is not in a good shape for customization. Also you can install the fonts into user's profile, then do: xset +fp ~/.guix-profile/share/fonts/X11

Re: 9x15bold xfont

2015-03-09 Thread 白い熊
On 2015年3月9日 23:03:20 CET, Andreas Enge wrote: >In debian it is in xfonts-base, in the subdirectory "misc". We have >various >font packages in xorg.scm. I think you are looking for font-misc-misc. Thank you, that's the package. However, as there's obviously no /usr/share/fonts... dir, how and

Re: 9x15bold xfont

2015-03-09 Thread Andreas Enge
On Mon, Mar 09, 2015 at 10:24:26PM +0100, 白い熊 @相撲道 wrote: > I'm very fond of the 9x15bold X font for work in the terminal. On Debian > systems it's usually in the “xfonts” package. No such package exists in Guix. > I checked, and none of the built xorg derivations on my system have the font. In

9x15bold xfont

2015-03-09 Thread 白い熊
I'm very fond of the 9x15bold X font for work in the terminal. On Debian systems it's usually in the “xfonts” package. No such package exists in Guix. I checked, and none of the built xorg derivations on my system have the font. Does some package have it? -- 白い熊 @相撲道