Error upgrading from Ubuntu 18.04 to 20.04

[Paul Smith]

On Wed, 2020-06-24 at 18:19 +0200, Tom H wrote:
> > I know of the various ways to remove the dock. They all have their
> > problems; none of them do exactly what I want, without annoying
> > side-effects.
> 
> I only know of "gnome-extensions disable ...". I wonder whether that
> would work with a deb-supplied extension.
> 
> Out of curiosity, what are the side effects of disabling dash-to-
> dock?

I'm not sure what dash-to-dock is... is that the same thing as
ubuntu-dock?  There are only about 20 of these things :-/.

However this prompted me to search around again and this time I found a
howto I missed last time with a new facility in 20.04 that I didn't
know about:

https://allthings.how/how-to-disable-ubuntu-dock-on-ubuntu-20-04/

Sure enough, if I install gnome-extensions then I can successfully
disable the ubunut-dock without uninstalling it (so that my
ubuntu-desktop metapackage is still installed).

Perfection!

I wonder why the Tweak Tools "disable the dock" doesn't work, while
this one does?  Maybe Tweak Tools is just not being kept up to date?


On Wed, 2020-06-24 at 19:31 +0200, Liam Proven wrote:
> I would suggest that the OP tried dash-to-panel instead of
> dash-to-dock. I found that dash-to-panel set to vertical mode was
> not too intrusive and freed up useful vertical space by getting rid
> of GNOME's largely unused and empty top panel.

Nope.  I need every single pixel of both horizontal and vertical space,
and auto-hide is not good enough.  Any panel, no matter how small, is
too much for me.  I live with the top bar because it provides
sufficient value, but I push everything into that same bar.

I use the Frippery panel-favorites Gnome shell extension to add
launchers for my favorite'd apps to the top panel (as you say, there's
a lot of empty space there):

https://extensions.gnome.org/extension/4/panel-favorites/

I also add a system-monitor extension so I can see some system metrics
there which adds to its usefulness.  I use:

https://extensions.gnome.org/extension/120/system-monitor/