Home / ubuntu / Questions / 527412
In Process
Anon
Asked: 2014-09-24 02:30:17 +0800 CST

Is there a way to check which font your shell/terminal emulator is using from the commandline?

  • 772

Is there a way to check which font your shell/terminal emulator is using from the commandline?

I am willing to settle reading part of a config file, if a direct command is not readily available.

command-line

6 Answers

  1. The option Use the system fixed width font is usually equal and set by org.gnome.desktop.interface.

    screen0

    • To get current font setting run following command:

      gsettings get org.gnome.desktop.interface monospace-font-name

    • To set/change setting run following command (here example of increase size) :

      gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'

    As I run above command, I found font of your terminal changed (increased size)! So, gnome-terminal using that font setting.

    • 10

  2. DE-independent way of getting system's preferred monospace font:

    $ fc-match Monospace
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"

    Ref: ArchWiki Font configuration

    • 4

  3. Check terminal font:

    grep -i "fontface" /etc/default/console-setup

    • 3

  4. There are many answers on console emulators here already, so I'll focus on tty virtual console only. You can do cat /etc/default/console-setup and find the line saying FONTFACE. Alternatively you could grep -n FONTFACE /etc/default/console-setup

    For instance, here's my console-setup file

    enter image description here

    To change it, you can execute sudo dpkg-reconfigure console-setup in tty. This will update the kernel settings, by the way.

    • 2

  5. You can check your gnome terminal font using following command

    gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

    For example it am using this command for gnome-terminal

     [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

    If you want to change the font using command line you can use following command 

      gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

    Where 12 is the size of font.

    • 1

  6. For XFCE terminal You can grep the configuration file:

    $ grep 'FontName=' ~/.config/xfce4/terminal/terminalrc 
FontName=Victor Mono Bold 13
    • 0