Results 1 to 5 of 5

Thread: vga font in gnome-terminal emulator

  1. #1
    Join Date
    Sep 2007
    Location
    Montreal, Canada
    Beans
    91

    vga font in gnome-terminal emulator

    I would like to use the classic, bitmapped "vga" font inside of gnome-terminal. I find this font looks the best in a terminal window.

    I have configured the console framebuffer to display text using the vga font (it's configured to use "fixed" by default). I did this by issuing the command:

    Code:
    sudo dpkg-reconfigure console-setup
    My virtual consoles now use the vga font that I liked, so this vga font must exist somewhere on my system. I'm just not sure where.

    I have also enabled bitmapped fonts to be used under gnome by issuing the command:

    Code:
    sudo dpkg-reconfigure fontconfig-config
    Even now that bitmapped fonts are enabled, gnome-terminal does not make the vga font available in it's configuration menu. I'm wanting to know what this vga font is named, where it's located on my system, and most importantly, how I can set gnome-terminal to use it. Thanks for any help.

  2. #2
    Join Date
    Oct 2006
    Location
    Cologne, Europe
    Beans
    2,570
    Distro
    Ubuntu 12.04 Precise Pangolin

    Re: vga font in gnome-terminal emulator

    I don't think that "vga font" is accessible in a graphical environment.
    I guess you just have to look for a real font that looks similar to it.

    Unfortunately, I have no idea what it looks like.
    Last edited by Forlong; June 29th, 2008 at 12:25 PM.

  3. #3
    Join Date
    Sep 2007
    Location
    Montreal, Canada
    Beans
    91

    Re: vga font in gnome-terminal emulator

    Thanks for the advice. "Fixed" is the only other choice presented when reconfiguring the console font. "Fixed" does also show up as an available font for gnome-terminal, so long as you've enabled bitmapped fonts. The "VGA" font is nowhere to be found, though.

    If anyone can shed some light I'd be very grateful. Surely there must be a way to use the "VGA" bitmapped font under gnome.

  4. #4
    Join Date
    Sep 2007
    Location
    Montreal, Canada
    Beans
    91

    Re: vga font in gnome-terminal emulator

    After a bit of searching I found some framebuffer documentation that seems to suggest that the fonts made available to the framebuffer console are compiled-in. In other words, these fonts hard-coded into the framebuffer console itself and not read from a font file. This might explain why I can't find the VGA font I'm looking for.

  5. #5
    Join Date
    Sep 2007
    Location
    Montreal, Canada
    Beans
    91

    Re: vga font in gnome-terminal emulator

    After some further hunting I've managed to find the location of console fonts on my system. It seems that console fonts are gzipped and in the .psf format. I found these files in /etc/console-setup/ and /usr/share/consolefonts.

    The particular font I wanted was /etc/console-setup/Uni1-VGA14.psf.gz. I copied this file to my home directory, unzipped it to an uncompressed .psf file and then got to work figuring out how to make it available under gnome.

    Turns out I needed to use a program called gbdfed which can be found in the Hardy repositories. gbdfed is an X windows font editing program which among it's many features, allows the importing and manipulation of console .psf fonts. To install it, type the following command in a terminal window:

    Code:
    sudo apt-get install gbdfed
    Using gbdfed I imported the font and found I had to edit the resulting font's properties so that it specified the proper character set the font was for and all that good stuff. Honestly, I'm not completely sure what was what. Using gdfed I just opened an X font that I knew was already available to my system and used that as a reference for filling in the font properties. If you want more detailed info on font properties, I found this pdf file online that should provide some insight. Do a google search for XLFD or XLFD.pdf if the link I gave you is dead.


    Once I had the font properties changed to what I thought seemed reasonable, I then saved the font as a .bdf file and moved it to my .fonts/ directory. Finally, I updated by font cache by issuing the command:

    Code:
    sudo fc-cache -fv
    I then tried to set gnome-terminal to use my newly created font and to my surprise it actually showed up in the list of available fonts. Hooray.

Tags for this Thread

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •