Ubuntu

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

  1. Lunar (23.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