brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnome-shell-extension-tool: Fix error after creating extension

Browse Source 
Commit 7a8a00c705 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
This commit is contained in:
Jasper St. Pierre 2011-10-13 00:46:46 -04:00
parent 0dd4584157
commit 38c768fdb3
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/gnome-shell-extension-tool.in
View File

@ -148,5 +148,6 @@ use an extension title clicktofocus@janedoe.example.com.'''
f.close() f.close()
print "Created extension in %r" % (extension_path, ) print "Created extension in %r" % (extension_path, )
extensionjs_path = os.path.join(extension_path, 'extension.js')
subprocess.Popen(['gnome-open', extensionjs_path]) subprocess.Popen(['gnome-open', extensionjs_path])
sys.exit(0) sys.exit(0)