diff --git a/.gitignore b/.gitignore index 38d6765cc..396a628e5 100644 --- a/.gitignore +++ b/.gitignore @@ -60,7 +60,6 @@ src/calendar-server/evolution-calendar.desktop src/calendar-server/org.gnome.Shell.CalendarServer.service src/gnome-shell src/gnome-shell-calendar-server -src/gnome-shell-extension-prefs src/gnome-shell-extension-tool src/gnome-shell-hotplug-sniffer src/gnome-shell-perf-helper diff --git a/src/gnome-shell-extension-prefs b/src/gnome-shell-extension-prefs new file mode 100755 index 000000000..303b1963c --- /dev/null +++ b/src/gnome-shell-extension-prefs @@ -0,0 +1,31 @@ +#!/bin/sh + +openPrefs() { + if [ "$(which gnome-extensions)" ] + then + gnome-extensions prefs $1 + else + gdbus call --session \ + --dest=org.gnome.Shell.Extensions \ + --object-path=/org/gnome/Shell/Extensions \ + --method=org.gnome.Shell.Extensions.OpenExtensionPrefs $1 '' '{}' + fi +} + +cat >&2 <