Error upgrading from Ubuntu 18.04 to 20.04

[Tom H]

On Thu, Jun 18, 2020 at 11:08 PM Paul Smith <paul at mad-scientist.net> wrote:
> On Thu, 2020-06-18 at 23:01 +0200, Tom H wrote:
>>
>> apt-get install vanilla-gnome-desktop
>
> I don't want the vanilla-gnome-desktop. I want the ubuntu-desktop,
> but just without the dock.
>
> That's why I said specifically:
>
>>> a better way to have exactly this desktop with everything the same
>>> except not run the dock
>
> :)

It was a suggestion. That's why I encapsulated it with question marks.


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