1
vote
1answer
48 views

Shortcut to change the gnome-terminal font size

I need fast shortcut to change the terminal font size. I use gnome-terminal. I tried with Ctrl + + and Ctrl + - but the size is not changed. Is there another shortcut? Can I add a shortcut like ...
0
votes
0answers
68 views

How to set Monaco font in GNOME Terminal?

I am using Ubuntu 12.04 LTS. I installed the Monaco font from here. The font is visible in Font Manager. I can also set the font in GVim. However, if I try to set this font in GNOME Terminal, that is ...
1
vote
1answer
395 views

How can I change gnome terminal font in command line?

I know how to change gnome's terminal font using the gui But I would like to do the same using the terminal (automated way). How can I do that ?
1
vote
1answer
105 views

Monaco is pixelated in web pages

I installed Monaco font and it looks great in terminal: but it looks ugly in the browsers: How can I fix such a behavior? I would like to see the correct font in web pages too.
4
votes
3answers
2k views

Mac OS X Terminal clone for Ubuntu

I would like to set the Max OS X Terminal theme for Ubuntu Terminal. I really like the fonts and the colors. This is how the Mac Terminal does look: Image source There are few things that I ...
0
votes
1answer
42 views

Two 12.04 machines have the same display settings but different results

I have one machine that has a relatively fresh install of 12.04 and one that I inherited. The terminal window in the inherited machine has a really weird font, and the regular one is what I would ...
1
vote
1answer
210 views

Using installed fonts in gnome-terminal

Recently I have been messing with gnome-terminal to make it look more appealing. I tried using installed fonts that were in my ~/.fonts folder (installed with Font Viewer) but when I edit the ...
0
votes
0answers
118 views

what are the monospace fonts?

Simple question, what are the monospace fonts ? I know that are fixed size fonts and that are used on terminal, but how can I know which are monospace ? and why if I change it I dont see any change on ...
3
votes
1answer
874 views

Letter-spacing in gnome-terminal

After update to 13.04 have broken fonts in gnome terminal: It is "Ubuntu Mono 13" font, but same spacing problems occurs with any monospace font. What can I do?
8
votes
1answer
1k views

How to use Fixedsys in the Gnome Terminal, or wherever monospaced fonts are required

I think that the Fixedsys font is one of the most legible monospaced fonts for programming. It has zero antialiasing, with vertical lines mostly 2 pixels wide. Close to ideal for current monitor dot ...
12
votes
3answers
2k views

How do I change the line spacing in Terminal?

Is it possible to change the line spacing in Terminal, or is there some other app that allows it? I'm moving from the Mac, and its terminal app has this feature which allows line spacing to be ...
2
votes
0answers
86 views

How to fix with the Font at the Terminal? [duplicate]

I would like how to repair this problem with Font at the Terminal ( gnome-shell ) and at the headers of the windows . It happened after that I try install conky to view gadgets on the screen.
10
votes
1answer
947 views

Is there a good mono-spaced font for Devanagari script in the Terminal?

All the terminal fonts I have tried result in inaccurate rendering of the Devanagari sript (and/or Roman script) in the Terminal In the Devanagari script, a vowel binds itself to a preceding ...