Error upgrading from Ubuntu 18.04 to 20.04

Liam Proven lproven at gmail.com
Thu Jun 25 11:28:07 UTC 2020


On Wed, 24 Jun 2020 at 20:43, Paul Smith <paul at mad-scientist.net> wrote:
>
> 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 :-/.

Ubuntu Dock is a modified fork of Dash-to-Dock. With permission and
assistance. If you install Dash-to-Dock from extensions.gnome.org then
it should automatically replace the Ubuntu version.

Ubuntu have tried to avoid modifying the vanilla GNOME 3 desktop too
much, while trying to keep something of their old distinctive look and
feel since they abandoned Unity 7, killed Unity 8 and switched back to
mainline GNOME.

IMHO they did this too soon –
https://liam-on-linux.livejournal.com/61859.html – but hey, I loved
Unity and hate GNOME 3.

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

Er, OK. You can also do this by visiting extensions.gnome.org,
installing the plugin and connector.

If you dislike the default extensions so much, I suggest that it would
repay you to learn your way around the GNOME extensions system a
little more...?

> Perfection!

So now you just have the GNOME "dash" which only appears in the
overview? Well if that's what you want. I personally dislike is
strongly.

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

You're not disabling the dock. You're reverting from Ubuntu's "dock"
to GNOME's one -- which they call a "dash" because they have a
religious objection to cooperating with others, even on shared
terminology.

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

These 2 statements seem profoundly mutually contradictory to me. If
you want every pixel, then move to a minimalist desktop such as i3 or
AwesomeWM or Ratpoison or something.

For me, as someone who dislikes GNOME 3 but sometimes has to use it, I
object strenuously to the egregious waste of space of GNOME's top
panel and that's the one I want to get rid of the most. So I merge it
with the less-offensive side panel with Dash-to-Panel.

I have widescreen monitors. I bet you do, too. 4:3 screens are almost
extinct now. As such, we both have _lots_ more horizontal pixels than
vertical ones. In the extreme case of a 16:9 monitor, nearly 2x as
many horizontal as vertical. If I have to lose some of either, I would
rather lose some cheaper horizontal ones than precious vertical ones.

But you do as you wish! :-)

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

Then why not skip them completely and just use the launcher that
appears when you hit the Windows key?

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

Me too, when I was experimenting with making it more Unity-like.

https://liam-on-linux.livejournal.com/57630.html

However, ultimately this is a doomed endeavour.
https://liam-on-linux.livejournal.com/70000.html


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




More information about the ubuntu-users mailing list