From e90504953f10c80279d9d0ee5ad4473485aae318 Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Mon, 15 Nov 2010 18:42:19 -0500 Subject: [PATCH] gnome-shell: When creating an extension, print where we created it This makes it easier to find. --- src/gnome-shell.in | 1 + 1 file changed, 1 insertion(+) diff --git a/src/gnome-shell.in b/src/gnome-shell.in index b523bde75..c855c0180 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)