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

[Colin Walters <walters src gnome org>]

commit e90504953f10c80279d9d0ee5ad4473485aae318
Author: Colin Walters <walters verbum org>
Date:   Mon Nov 15 18:42:19 2010 -0500

    gnome-shell: When creating an extension, print where we created it
    
    This makes it easier to find.

 src/gnome-shell.in |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-shell.in b/src/gnome-shell.in
index b523bde..c855c01 100755
--- a/src/gnome-shell.in
+++ b/src/gnome-shell.in
@@ -717,6 +717,7 @@ function main() {
 ''')
     f.close()
 
+    print "Created extension in %r" % (extension_path, )
     subprocess.Popen(['gnome-open', extensionjs_path])
     sys.exit(0)