From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: 9x15bold xfont Date: Mon, 9 Mar 2015 23:03:20 +0100 Message-ID: <20150309220320.GA16814@debian> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50575) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YV5lw-0003q4-Dp for guix-devel@gnu.org; Mon, 09 Mar 2015 18:03:37 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YV5ls-0005LU-8q for guix-devel@gnu.org; Mon, 09 Mar 2015 18:03:36 -0400 Received: from mout.kundenserver.de ([212.227.17.13]:54068) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YV5lr-0005LK-Vm for guix-devel@gnu.org; Mon, 09 Mar 2015 18:03:32 -0400 Content-Disposition: inline In-Reply-To: List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: =?utf-8?B?55m944GE54aKIEDnm7jmkrLpgZM=?= Cc: guix-devel@gnu.org 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 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. Andreas