Ubuntu
gnome-shell package

  1. Bug #1866146
  2. Comment #7

Comment 7 for bug 1866146

Revision history for this message
shemgp (shemgp) wrote :

You need to run:

sudo apt install gnome-shell-extension-prefs

to make extension preferences work in Ubuntu's packaging of gnome-shell.