How to reset gnome panel

Desktop Environments Gnome
1

Hello, today I change gnome-shell theme to Flat-Remix with make and sudo make install from unzipped theme folder. That theme change my gnome panel and I can’t fix it. I delete all Flat-Remix folders from /usr/share/themes and reset gnome to defaults. Panel is still like in the screen.

Zrzut ekranu z 2021-03-31 10-28-54

regards.

2

Are there not any removal instructions included too? If not, you might raise that as an issue with the theme developer?

3

Themes and shells are separate things in gnome. Try changing the shell in the GUI and then rebooting.

4

Hi, I change to many shell themes and gtk themes but panel still the same.

Regards.

5

Did you check org > gnome > shell > extensions > user-theme in dconf?

6

That change the same as in Tweak tool. Change Theme but not panel shape.

Regards.

7

Here is a closed bug report which looks the same as your issue. Could this be a solution?

8

Thanks, that coult be solution but I can’t find how to uninstall login theme on his page.

9

There is an uninstall option in the Makefile:

uninstall:
	-rm -rf $(foreach theme, $(THEMES), $(PREFIX)/share/themes/$(theme))
	-rm -f $(foreach file, $(shell find share/ -type f), $(PREFIX)/$(file))
	-rm -f $(PREFIX)/share/gnome-shell/theme/$(BASE_THEME)
ifeq ($(IS_UBUNTU), true)
	-update-alternatives --remove gdm3-theme.gresource $(PREFIX)/share/themes/$(BASE_THEME)/gnome-shell/gnome-shell-theme.gresource
else
	-mv $(PREFIX)/share/gnome-shell/gnome-shell-theme.gresource.old $(PREFIX)/share/gnome-shell/gnome-shell-theme.gresource
endif

I guess the -mv $(PREFIX)/share/gnome-shell/gnome-shell-theme.gresource.old $(PREFIX)/share/gnome-shell/gnome-shell-theme.gresource could be the relevant part.

1 Like
10

Thanks, but I don’t understand that. I’m affraid I broke something.

11

Did you try sudo make uninstall ? As a last resort you could try to reinstall gnome-shell package.

2 Likes
12

That’s it. Thank You very much. :smiley:

Regards.

1 Like
13

Tip: don’t randomly run commands from the Web that you don’t understand. :wink:

1 Like
14

Although it is a little bit weird that you can only get rid of the appearance of the panel by uninstalling the whole thing :thinking:

15

Yes. But then again, GNOME.

1 Like
16

That’s the reason I use a more or less vanilla GNOME :sunglasses:

17

I have vanilla gnome now after last upgrade :smiley: