English
Ask Your Question
1

How to change the Gnome shell font the easy way?

asked 2017-04-18 01:22:46 +0000

delacosta78 gravatar image

updated 2017-04-20 21:35:12 +0000

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 21:00:58 +0000

Samuel Sieb 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 ( 2017-04-20 03:11:33 +0000 )edit
1

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

Samuel Sieb ( 2017-04-20 04:11:10 +0000 )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 ( 2017-04-20 04:50:58 +0000 )edit

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

Samuel Sieb ( 2017-04-20 05:09:49 +0000 )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 ( 2017-04-20 06:06:02 +0000 )edit
0

answered 2017-04-18 12:09:35 +0000

genodeftest gravatar image

updated 2017-04-20 20:24:53 +0000

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 ( 2017-04-18 15:39:31 +0000 )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 ( 2017-04-18 16:21:12 +0000 )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 ( 2017-04-19 04:42:38 +0000 )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 ( 2017-04-20 20:27:47 +0000 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

[hide preview]

Use your votes!

  • Use the 30 daily voting points that you get!
  • Up-vote well framed questions that provide enough information to enable people provide answers.
  • Thank your helpers by up-voting their comments and answers. If a question you asked has been answered, accept the best answer by clicking on the checkbox on the left side of the answer.
  • Down-voting might cost you karma, but you should consider doing so for incorrect or clearly detrimental questions and answers.

Question Tools

Follow
1 follower

Stats

Asked: 2017-04-18 01:22:46 +0000

Seen: 1,085 times

Last updated: Apr 20