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