#GnomeShellExtensions
Dash To Dock should realy be by default on #Debian #Gnome distro.

Thank you michele_g

#GnomeShellExtensions
#GnomeShell
extensions.gnome.org/extension/30...
Dash to Dock - GNOME Shell Extensions
extensions.gnome.org
December 30, 2025 at 2:12 PM