Error upgrading from Ubuntu 18.04 to 20.04

[Liam Proven]

On Wed, 24 Jun 2020 at 18:22, Tom H <tomh0665 at gmail.com> wrote:

> I only know of "gnome-extensions disable ...". I wonder whether that
> would work with a deb-supplied extension.

AFAIK you can still turn off bundled extensions.

> Out of curiosity, what are the side effects of disabling dash-to-dock?

You get the vanilla GNOME Shell "Dash" (I think that's what the GNOME
folk call the dock/launcher thing.)

I don't know of a way to remove it completely and am at a bit of a
loss why you'd want to. You could remove all icons from it, but
running apps will reappear.

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.


-- 
Liam Proven – Profile: https://about.me/liamproven
Email: lproven at cix.co.uk – gMail/gTalk/gHangouts: lproven at gmail.com
Twitter/Facebook/LinkedIn/Flickr: lproven – Skype: liamproven
UK: +44 7939-087884 – ČR (+ WhatsApp/Telegram/Signal): +420 702 829 053