0

I'm using Ubuntu 18.04 with GNOME desktop.

Please advise which will be the easy way to increase the top bar size as well as font size.

pomsky
  • 70,557
user108763
  • 69

1 Answers1

0

Font size of the top bar is set by your GNOME Shell theme. The default GNOME Shell theme of Ubuntu 18.04 is dictated by the ubuntu.css file in your /usr/share/gnome-shell/theme/ directory.

After opening the /usr/share/gnome-shell/theme/ubuntu.css file you should find a stage section near the top, which would look something like the following:

stage {
  font-family: <font-to-display>;
  font-size: <size-of-the-displayed-font>;
  color: <colour-of-the-displayed-font>; }

Change the value for font-size and save the file (note that you'll need root privilege to edit this system file). This would change the font-size of various components of GNOME Shell including the top bar in a consistent manner. You need to reboot or relogin or restart GNOME Shell to see the effect.

Note: It's not generally advisable to edit a system file, especially without backing it up. You can alternatively override your GNOME Shell theme from your local directory, refer to this.

pomsky
  • 70,557