Question

13

rated 0 times [ 13] [ 0] / answers: 1 / hits: 20938 / 1 Year ago, tue, november 29, 2022, 12:24:44

I know how to change gnome's terminal font using the gui enter image description here

But I would like to do the same using the terminal (automated way). How can I do that ?

Only authorized users can answer the question. Please sign in first, or register a free account.

Total Points: 59

Total Questions: 96

Total Answers: 105

Location: Argentina

Member since Thu, Mar 18, 2021

3 Years ago

bjecterless questions

Sun, Feb 5, 23, 17:04, 1 Year ago

Tue, Jul 26, 22, 18:42, 2 Years ago

Fri, Dec 16, 22, 13:24, 1 Year ago

Sat, Sep 4, 21, 17:37, 3 Years ago

Mon, May 9, 22, 00:28, 2 Years ago

answered 1 Year ago bewre · Accepted Answer

I have just found out that I can do this with gconftool-2, e.g. :

 gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"