Arch Linux

konos5

Member

Registered: 2011-03-16

Posts: 56

[Solved] How to change GNOME fonts from the terminal

Hi everyone,

I came across these wiki pages while trying to change GNOME fonts.

https://wiki.archlinux.org/index.php/Font_Configuration
https://wiki.archlinux.org/index.php/Fonts

The problem is that there is no mention of how I set a particular font as "active"!
I 've found tons of information of how to set antialiasing, rendering techniques etc but not a word
of how to set a particular font as "enabled"!

For instance, I just downloaded ttf-ms-fonts from AUR and installed them! At the moment I can't use the gnome-tweak-tool
nor do I want to. dconf-editor is also not an option as it is again a graphical tool..!
Therefore, how can I change my fonts from the terminal or in other words what settings does the gnome-tweak-tool plays with to set my new fonts..?

Thanks in advance

Last edited by konos5 (2011-06-11 02:00:05)

kolos

Member

Registered: 2010-05-15

Posts: 57

Re: [Solved] How to change GNOME fonts from the terminal

in to change the font of gnome-shell (cantarell) go to the folder of your theme and open gnome-shell.css

stage {
    font-family: aller, sans-serif;
}

change it and restart gnome shell
at least that worked for me

Last edited by kolos (2011-06-10 17:00:02)

---

och noes!

konos5

Member

Registered: 2011-03-16

Posts: 56

Re: [Solved] How to change GNOME fonts from the terminal

...OK...and where would that be..?
I'm using the default gnome3 theme and everything..

kolos

Member

Registered: 2010-05-15

Posts: 57

Re: [Solved] How to change GNOME fonts from the terminal

default in /usr/share/gnome-shell/theme/gnome-shell.css

---

och noes!

konos5

Member

Registered: 2011-03-16

Posts: 56

Re: [Solved] How to change GNOME fonts from the terminal

OK!
Found it and did:

stage {
    font-family: aller, times new roman;
}

But yet it doesn't work..!
Could it be that the font-family is wrong?

kofrad

Member

From: South Florida, USA

Registered: 2011-05-15

Posts: 45

Re: [Solved] How to change GNOME fonts from the terminal

Make sure the fontpath is properly set, from what I understand you must set your fontpath every time you login again. I Just used the following in my ~/.xinitrc

xset +fp /usr/share/fonts/local
xset fp rehash

---

Desktop: Arch Linux | AMD Athlon 64 X2 Dual Core 5000+ | 3GB RAM | GeForce 6800 XT 512MB | 1TB+
Audio Studio: XP SP3 | Intel Pentium 4 3GHz Prescott | 1GB DDR | GeForce 6800 128MB | 120GB

kolos

Member

Registered: 2010-05-15

Posts: 57

Re: [Solved] How to change GNOME fonts from the terminal

stage {
    font-family: Times New Roman;
}
aller is the font that i'm using

Last edited by kolos (2011-06-10 18:15:46)

---

och noes!

konos5

Member

Registered: 2011-03-16

Posts: 56

Re: [Solved] How to change GNOME fonts from the terminal

Sorry guys..!
Tried out all of what you said but unfortunatelly nothing worked..!
So far I have only managed to change my fonts using the dconf-editor..!

Anyway..thanks for your time!

Mr.Elendig

#archlinux@freenode channel op

From: The intertubes

Registered: 2004-11-07

Posts: 4,092

Re: [Solved] How to change GNOME fonts from the terminal

I was just about to suggest dconf

---

Evil #archlinux@libera.chat channel op and general support dude.
. files on github, Screenshots, Random pics and the rest

jnguyen

Member

Registered: 2011-02-17

Posts: 139

Website

Re: [Solved] How to change GNOME fonts from the terminal

Use gsettings!

To see list of schemas:

gsettings list-schemas | sort

To see keys for a schema:

gsettings list-keys org.gnome.desktop.interface

To set a key:

gsettings set org.gnome.desktop.interface font-name "Sans 10"

Last edited by jnguyen (2011-06-10 19:02:26)

---

TOMOYO Linux: Mandatory Access Control.
My AUR packages

konos5

Member

Registered: 2011-03-16

Posts: 56

Re: [Solved] How to change GNOME fonts from the terminal

Use gsettings!

To see list of schemas:

gsettings list-schemas | sort

To see keys for a schema:

gsettings list-keys org.gnome.desktop.interface

To set a key:

gsettings set org.gnome.desktop.interface font-name "Sans 10"

Yeap!
That's it! That did the trick!
Thank you very much!

BTW, does anybody know how to mark this thread as "solved"?

kofrad

Member

From: South Florida, USA

Registered: 2011-05-15

Posts: 45

Re: [Solved] How to change GNOME fonts from the terminal

I think you can do that by editing your original post in the thread and then changing the title.

---

Desktop: Arch Linux | AMD Athlon 64 X2 Dual Core 5000+ | 3GB RAM | GeForce 6800 XT 512MB | 1TB+
Audio Studio: XP SP3 | Intel Pentium 4 3GHz Prescott | 1GB DDR | GeForce 6800 128MB | 120GB