blob: 303b1963c0d22f4d18241f4f196b3e03da22a46a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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 <<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
|
