path: root/debian/gnome-shell-extension-prefs.install

usr/bin/gnome-extensions-app
usr/bin/gnome-shell-extension-prefs
usr/share/applications/org.gnome.Extensions.desktop
usr/share/metainfo/org.gnome.Extensions.metainfo.xml