From 38c768fdb3b2f7814bb61321d8053930e0a87686 Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Thu, 13 Oct 2011 00:46:46 -0400 Subject: [PATCH] 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 file changed, 1 insertion(+) diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in index e610b462f..8ec24fbef 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)