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

gnome-shell: When creating an extension, print where we created it

Browse Source 
This makes it easier to find.
This commit is contained in:
Colin Walters 2010-11-15 18:42:19 -05:00
parent d67aa39bb1
commit e90504953f
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.in
View File

@ -717,6 +717,7 @@ function main() {
''') ''')
f.close() f.close()
print "Created extension in %r" % (extension_path, )
subprocess.Popen(['gnome-open', extensionjs_path]) subprocess.Popen(['gnome-open', extensionjs_path])
sys.exit(0) sys.exit(0)