How to increase the font size of the top menu bar

[Dennis N]

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

You are in the wrong folder for making the changes. Look inside the theme folder, which for you would be:

/usr/share/themes/Adwaita-dark

But, when you do, you find Adwaita-dark doesn't have a gnome-shell theme folder!

dmn@Sydney:/usr/share/themes/Adwaita-dark$ ls
gtk-2.0  gtk-3.0  index.theme

Therefore, you need to find a theme that includes a gnome-shell theme folder and set it as your Shell theme in Tweaks. Like this one (Obsidian):

dmn@Sydney:/usr/share/themes/Obsidian$ ls
assets    gnome-shell  gtk-3.0   index.theme  openbox-3
cinnamon  gtk-2.0      gtk-3.20  metacity-1

After doing that, open the gnome-shell folder:

dmn@Sydney:/usr/share/themes/Obsidian/gnome-shell$ ls
assets  gnome-shell.css  gnome-shell-theme.gresource.xml

Edit file gnome-shell.css to make the changes. Remember, you also have to set the gnome-shell theme in Tweaks: Themes > Shell

If you like, you can keep Adwaita-dark as the application theme and use another theme to supply the Shell theme in Tweaks.

[satimis]

Three ways to find Dash to Panel settings:-

Navigate to https://extensions.gnome.org/ > Installed Extensions.

What do you see?

NetSpeed
Ubuntu AppIndicators
Ubuntu Dock

You can also control all settings including Dash to Panel settings via right click in an empty space on the top bar in Ubuntu 20.04

I'm running Ubuntu 18.04 Gnome desktop here. Right-click empty space on top bar, nothing happens.

You can also use gnome-tweaks to access extensions.

sudo apt install gnome-tweaks

gnome-tweaks has been running here for some time. Before my previous posting I have checked it. Pls see attached screen-shots.

Thanks

[satimis]

You are in the wrong folder for making the changes. Look inside the theme folder, which for you would be:

/usr/share/themes/Adwaita-dark

But, when you do, you find Adwaita-dark doesn't have a gnome-shell theme folder!

dmn@Sydney:/usr/share/themes/Adwaita-dark$ ls
gtk-2.0  gtk-3.0  index.theme

Therefore, you need to find a theme that includes a gnome-shell theme folder and set it as your Shell theme in Tweaks. Like this one (Obsidian):

dmn@Sydney:/usr/share/themes/Obsidian$ ls
assets    gnome-shell  gtk-3.0   index.theme  openbox-3
cinnamon  gtk-2.0      gtk-3.20  metacity-1

After doing that, open the gnome-shell folder:

dmn@Sydney:/usr/share/themes/Obsidian/gnome-shell$ ls
assets  gnome-shell.css  gnome-shell-theme.gresource.xml

Edit file gnome-shell.css to make the changes. Remember, you also have to set the gnome-shell theme in Tweaks: Themes > Shell

If you like, you can keep Adwaita-dark as the application theme and use another theme to supply the Shell theme in Tweaks.

Hi Dennis

$ ls /usr/share/themes/

Adwaita       Ambiance  Emacs         Radiance
Adwaita-dark  Default   HighContrast  Raleigh

All themes are here.

$ ls /usr/share/themes/Adwaita/

gtk-2.0  gtk-3.0  index.theme

$ ls /usr/share/themes/Adwaita-dark/

gtk-2.0  gtk-3.0  index.theme

$ ls /usr/share/themes/Ambiance/

gtk-2.0  gtk-3.0  gtk-3.20  index.theme  metacity-1  unity

$ls /usr/share/themes/Default/

gtk-2.0-key  gtk-3.0

Is this the default theme?

$ ls /usr/share/themes/Emacs/

gtk-2.0-key  gtk-3.0

$ ls /usr/share/themes/HighContrast/

gtk-2.0  gtk-3.0  index.theme

$ ls /usr/share/themes/Radiance/

gtk-2.0  gtk-3.0  gtk-3.20  index.theme  metacity-1 unity

$ ls /usr/share/themes/Raleigh/

gtk-2.0

I couldn't find gnome-shell theme folder in any of them.

Regards

[tea for one]

In your post no.7, you said that you have installed Dash to Panel extension, yet it looks like you haven't installed it all.

If you had installed it correctly, it would appear in gnome-tweaks.

I suspect that you have not installed Dash to Panel at all?

[satimis]

In your post no.7, you said that you have installed Dash to Panel extension, yet it looks like you haven't installed it all.

If you had installed it correctly, it would appear in gnome-tweaks.

I suspect that you have not installed Dash to Panel at all?

Yes, but there is a warning

I'll install it again

On
https://extensions.gnome.org/extensi...dash-to-panel/

The gnome-shell version here is 3.28
Which is the latest Extension Version to download
13 or 39?

Can I install it on repo?

Thanks

Regards

[Dennis N]

I couldn't find gnome-shell theme folder in any of them.

OK, to go this route, you need to get some themes that offer theming for gnome shell.
This tutorial offers advice on how to change themes, including gnome-shell themes:
https://itsfoss.com/install-switch-themes-gnome-shell/
Once installed, you can try to edit the font size.

I have used Zuki-shell, Obsidian and Flat-Remix-Dark which all have a gnome-shell theme. They all work in 18.04 I believe.

I see you are also getting advice on gnome-shell extensions like dash to panel. That may work for you, but I personally don't want launchers on the panel (top or bottom bar) so it's not for me. Your choice.

[tea for one]

Yes, but there is a warning

I'll install it again

On
https://extensions.gnome.org/extensi...dash-to-panel/

The gnome-shell version here is 3.28
Which is the latest Extension Version to download
13 or 39?

Can I install it on repo?

Thanks

Regards

I do not know the version of Dash to Panel for Ubuntu 18.04 with gnome-shell 3.28.

You will have to use an internet search to identify compatible versions.

As I mentioned in post no. 3 where you asked about font sizes, Dash to Panel will allow you to choose font sizes.

If you are having difficulty in installing gnome-extensions, I suggest that you start a new thread.

[tea for one]

Please show output of this command in code tags

gnome-extensions list

Example from my PC

edited@edited:~$ gnome-extensions list
dash-to-panel@jderose9.github.com
user-theme@gnome-shell-extensions.gcampax.github.com
drawOnYourScreen@abakkk.framagit.org
workspace-indicator@gnome-shell-extensions.gcampax.github.com
desktop-icons@csoriano
ubuntu-appindicators@ubuntu.com
ubuntu-dock@ubuntu.com

[Dennis N]

The gnome-shell version here is 3.28
Which is the latest Extension Version to download
13 or 39?

A tip on installing extensions in general: you should not use the 'Download' option. Just use the off/on switch in upper right and turn it on. It will detect your Ubuntu version and install the correct version of the extension.

[satimis]

Please show output of this command in code tags

gnome-extensions list

........

$ gnome-extensions list

N: Unable to locate package gnome-extensions
 has no directories

$ apt policy gnome-shell-extensions

gnome-shell-extensions:
  Installed: 3.28.0-2
  Candidate: 3.28.0-2
  Version table:
 *** 3.28.0-2 500
        500 http://hk.archive.ubuntu.com/ubuntu bionic/universe amd64 Packages
        500 http://hk.archive.ubuntu.com/ubuntu bionic/universe i386 Packages
        100 /var/lib/dpkg/status

$ apt policy chrome-gnome-shell

chrome-gnome-shell:
  Installed: 10-1
  Candidate: 10-1
  Version table:
 *** 10-1 500
        500 http://hk.archive.ubuntu.com/ubuntu bionic/universe amd64 Packages
        500 http://hk.archive.ubuntu.com/ubuntu bionic/universe i386 Packages
        100 /var/lib/dpkg/status

But still I couldn't find Dash-Panel on gnome-tweaks. Pls refer to attached screenshots

Regards