Ubuntu

Binary package “gnome-shell-extension-prefs” in ubuntu focal

  1. Focal (20.04)
  2. gnome-shell-extension-prefs

tool to enable / disable GNOME Shell extensions

  This package contains a tool which users who use Shell extensions can use to
  toggle them on and off, and access their preferences.

Source package

Published versions