How to reset gnome panel

koniuszko · March 31, 2021, 9:37am

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.

regards.

jonathon · March 31, 2021, 10:31am

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

BONK · March 31, 2021, 10:35am

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

koniuszko · March 31, 2021, 10:40am

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

Regards.

csteinforth · March 31, 2021, 10:57am

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

koniuszko · March 31, 2021, 11:59am

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

Regards.

csteinforth · March 31, 2021, 12:21pm

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

koniuszko · March 31, 2021, 12:26pm

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

csteinforth · March 31, 2021, 12:27pm

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.

koniuszko · March 31, 2021, 12:49pm

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

csteinforth · March 31, 2021, 12:52pm

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

koniuszko · March 31, 2021, 12:54pm

That’s it. Thank You very much.

Regards.

jonathon · March 31, 2021, 3:35pm

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

csteinforth · March 31, 2021, 4:41pm

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

jonathon · March 31, 2021, 4:41pm

Yes. But then again, GNOME.

csteinforth · March 31, 2021, 4:46pm

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

koniuszko · April 8, 2021, 6:39am

I have vanilla gnome now after last upgrade