Error upgrading from Ubuntu 18.04 to 20.04

[Tom H]

On Wed, Jun 24, 2020 at 7:33 PM Liam Proven <lproven at gmail.com> wrote:
> 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.

Thanks. I thought that a deb-supplied extension might have a
debianized on/off mechanism.


>> 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.)

It is the dash. OK. Is that what the OP wants?


> 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.

OK. Thanks.


> 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.

dash-to-panel is one way to "remove" the in-built dash completely :)