diff --git a/src/gnome-shell-extension-prefs b/src/gnome-shell-extension-prefs deleted file mode 100755 index 303b1963c..000000000 --- a/src/gnome-shell-extension-prefs +++ /dev/null @@ -1,31 +0,0 @@ -#!/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 <