[gnome-shell] gnome-shell-extension-tool: Fix error after creating extension
- From: Jasper St. Pierre <jstpierre src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] gnome-shell-extension-tool: Fix error after creating extension
- Date: Thu, 20 Oct 2011 19:39:41 +0000 (UTC)
commit 38c768fdb3b2f7814bb61321d8053930e0a87686
Author: Jasper St. Pierre <jstpierre mecheye net>
Date: Thu Oct 13 00:46:46 2011 -0400
gnome-shell-extension-tool: Fix error after creating extension
Commit 7a8a00c7057d56350d4b5509cefd812a67d4b7d7 cleaned up the code to move all
files to a dictionary, which accidentally left an undefined "extensionjs_path"
error. Fix that error.
https://bugzilla.gnome.org/show_bug.cgi?id=661623
src/gnome-shell-extension-tool.in | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in
index e610b46..8ec24fb 100644
--- a/src/gnome-shell-extension-tool.in
+++ b/src/gnome-shell-extension-tool.in
@@ -148,5 +148,6 @@ use an extension title clicktofocus janedoe example com '''
f.close()
print "Created extension in %r" % (extension_path, )
+ extensionjs_path = os.path.join(extension_path, 'extension.js')
subprocess.Popen(['gnome-open', extensionjs_path])
sys.exit(0)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]