3 Commits

Author	SHA1	Message	Date
Stefano Facchini	9bcce4f271	Fix typo in gnome-shell-extension-prefs ... Environment variables should be checked for zero length, instead of non-zero. This prevented the script to run correctly in a jhbuild shell for example. https://bugzilla.gnome.org/show_bug.cgi?id=693031	2013-02-04 12:00:42 +01:00
Antoine Jacoutot	3df3f0d9dc	portability: use /bin/sh instead of /bin/bash ... There is nothing requiring bash specific features in this script, so just use /bin/sh which is portable amongst all Unices. https://bugzilla.gnome.org/show_bug.cgi?id=679847	2012-07-15 10:17:24 +02:00
Jasper St. Pierre	b8a54faf94	Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions ... 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	2012-02-07 16:00:37 -05:00