Ask Your Question
1

How to change the Gnome shell font the easy way?

asked 2017-04-17 20:22:46 -0600

delacosta78 gravatar image

updated 2017-04-20 16:35:12 -0600

Currently we can't change the font of the Gnome shell using Gnome Tweak Tool so my simple question is:

Is there a way to change the gnome shell font the easy way?

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
3

answered 2017-04-19 16:00:58 -0600

ssieb gravatar image

After a lot of research, it turns that this is very easy to do. Make sure you have user themes enabled using the tweak tool. Then go to your ~/.themes directory (create if necessary). mkdir -p mytheme/gnome-shell, use whatever name you want instead of "mytheme". In that directory create a file called gnome-shell.css with the following content, modified as you wish.

@import url("resource:///org/gnome/theme/gnome-shell.css");

#panel {
    font-family: "Liberation Mono";
}

Go back to the tweak tool and choose the user theme with the name of the directory you created.

edit flag offensive delete link more

Comments

Yes!, it worked! this is exactly what I wanted!! thank you so much!, I have another question though, is it possible to add another lines to change the window titles and the inteface as well?

delacosta78 gravatar imagedelacosta78 ( 2017-04-19 22:11:33 -0600 )edit
1

Sure, look through https://git.gnome.org/browse/gnome-sh... for the CSS rules to override.

ssieb gravatar imagessieb ( 2017-04-19 23:11:10 -0600 )edit

Ok, forget about what I asked about changing the window title and inferface because I can change that manually but I found a better way to change the whole shell font with this:

stage { font-family: "FreeSans"; }

with #panel it only changes the font of the panel but didn't change the font of everything else in the shell.

delacosta78 gravatar imagedelacosta78 ( 2017-04-19 23:50:58 -0600 )edit

That's what you asked for! :-) The question was specifically about the top bar.

ssieb gravatar imagessieb ( 2017-04-20 00:09:49 -0600 )edit

Yes, but I didn't take into account the rest of the shell, I thought that changing something in the top bar would change the rest of it.

delacosta78 gravatar imagedelacosta78 ( 2017-04-20 01:06:02 -0600 )edit
0

answered 2017-04-18 07:09:35 -0600

genodeftest gravatar image

updated 2017-04-20 15:24:53 -0600

Yes, when changing the fonts in gnome-tweak-tool, it will also change the font in gnome-shell. You will need to log out and log in to apply this change.

Theming gnome-shell is not recommended, because themes usually have a bad quality and/or are incomplete or broken. See https://wiki.gnome.org/Projects/Gnome...

Otherwise, if you still want to theme gnome-shell, you might want to install a gnome-shell theme. Gnome-tweak-tool ships a gnome-shell extension named "User themes". If this is enabled, you can choose a different theme in gnome-tweak-tool. See https://www.gnome-look.org/browse/cat... for some freely available themes.

If you want to write your own theme, you should have a look at the gnome-shell git repository: https://git.gnome.org/browse/gnome-shell

edit flag offensive delete link more

Comments

I know that, but you didn't answer my question, I just want to change the cantarell font in the top bar to any other font already installed in the system.

delacosta78 gravatar imagedelacosta78 ( 2017-04-18 10:39:31 -0600 )edit

I did answer your question: Use a different theme.

Alternatively, you might also change the current theme, but for that you need to recompile /usr/share/gnome-shell/gnome-shell-theme.gresource with your changes applied.

genodeftest gravatar imagegenodeftest ( 2017-04-18 11:21:12 -0600 )edit

"Theming gnome-shell is not recommended"... vs "..., you might want to install a gnome-shell theme". Im my personal opinion, that seems contradictory and needs to be explained.

gobigobi66 gravatar imagegobigobi66 ( 2017-04-18 23:42:38 -0600 )edit

Better now? English is not my first language. I think an explanation is not necessary, that is the role of the sentence inbetween the words you cited.

genodeftest gravatar imagegenodeftest ( 2017-04-20 15:27:47 -0600 )edit

Question Tools

1 follower

Stats

Asked: 2017-04-17 20:22:46 -0600

Seen: 3,709 times

Last updated: Apr 20 '17