I’m trying to figure out how to do something as simple as autohide the task bar in SLED 12 (is it called top bar even though it’s at the bottom?). I’ve found gnome-extensions but can’t install them as there is no gnome-extension-tool it seems. I’ve tried right clicking but there are no popups for configuration purposes. I’ve tried looking in the gnome-tweak tool, but there are no options in there.
Preferable the solution would not involved internet access as this is to be configured at sites without internet.