Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Jammy (22.04)
  2. Bug #1981837
  3. Comment #8

Comment 8 for bug 1981837

Revision history for this message
Gunnar Hjalmarsson (gunnarhj) wrote :

One way is to just download it and:

sudo patch /<email address hidden>/theming.js ~/Downloads/1767.patch