On Sat, 29 Jan 2022 12:48:21 -0500
Todd Zullinger <tmz(a)pobox.com> wrote:
If there isn't an easier way to move the dock, maybe the
dash-to-dock extension could be useful?
https://extensions.gnome.org/extension/307/dash-to-dock/
That doesn't look to be packaged for fedora, so you'd need
to install it from the extensions site or package it. :)
Is there a substitute?
I am using Dash to Dock here in Fedora 35
Chris