Gnome Extensions

2020-01-10 20:07:00 +0000 ubuntu ubuntu-install

I installed the following extensions:

Windows-style taskbar

“Dash to panel” and “Dash to dock” aren’t quite the same size, but I’ll live with it.

Update, about 20 minutes later

The newest version (26, on https://extensions.gnome.org/extension/1160/dash-to-panel/) of Dash to panel is much improved. I’ve disabled “Dash to dock” and I’m experimenting with it. Note that you need to restart Gnome Shell (Alt+F2, r) in order to turn on the “Display panels on all monitors” setting.

I installed it by following these instructions: https://linuxconfig.org/how-to-install-gnome-shell-extensions-from-zip-file-using-command-line-on-ubuntu-18-04-bionic-beaver-linux, but with gnome-shell-extension-tool -r at the end.

Others