b8a54faf94
A new tool, 'gnome-shell-extension-prefs' can load a new entry point from extensions, 'prefs.js', which has an entry point to return a GTK+ widget. This allows extensions to have their own preferences dialog, without each extension needing to ship its own Python script and .desktop file. https://bugzilla.gnome.org/show_bug.cgi?id=668429
16 lines
394 B
Bash
16 lines
394 B
Bash
#!/bin/bash
|
|
|
|
if [ -n "$GI_TYPELIB_PATH" ]; then
|
|
export GI_TYPELIB_PATH=@pkglibdir@
|
|
else
|
|
export GI_TYPELIB_PATH=@pkglibdir@:$GI_TYPELIB_PATH
|
|
fi
|
|
|
|
if [ -n "$LD_LIBRARY_PATH" ] ; then
|
|
export LD_LIBRARY_PATH=@pkglibdir@
|
|
else
|
|
export LD_LIBRARY_PATH=@pkglibdir@:$LD_LIBRARY_PATH
|
|
fi
|
|
|
|
@GJS_CONSOLE@ -I @pkgdatadir@/js -c "const Main = imports.extensionPrefs.main; Main.main(ARGV);" "$@"
|