32 lines
659 B
Plaintext
32 lines
659 B
Plaintext
|
#!/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 <<EOT
|
||
|
|
gnome-shell-extension-prefs is deprecated
|
||
|
|
|
||
|
|
Install https://flathub.org/apps/details/org.gnome.Extensions for extension
|
||
|
|
management, or use the gnome-extensions command line tool.
|
||
|
|
|
||
|
|
Extensions can use the ExtensionUtils.openPrefs() method.
|
||
|
|
EOT
|
||
|
|
|
||
|
|
UUID=$1
|
||
|
|
|
||
|
|
if [ "$UUID" ]
|
||
|
|
then
|
||
|
|
openPrefs $UUID
|
||
|
|
else
|
||
|
|
gapplication launch org.gnome.Extensions
|
||
|
|
fi
|