I think you are looking to change the font in the virtual consoles. Not gnome-terminal. If so, you will need to edit the /etc/default/grub file, changing the value of "vconsole.font" on the "GRUB_CMDLINE_LINUX" line to whatever font you want. Then remake grub2. You can temporarily change the virtual console font by running "setfont <fontname>", using of the fonts in /lib/kbd/consolefonts. (ie. setfont lat9v-12)