From e326202477693b2e21429af06ff464f918d43f54 Mon Sep 17 00:00:00 2001 From: Siegfried-Angel Gevatter Pujals Date: Fri, 18 Dec 2009 20:26:41 +0100 Subject: [PATCH] Use the preferred text editor when opening an extension's .js file Change "./src/gnome-shell --create-extension" to use "gnome-open" when opening the newly created .js file, so that it is launched with the user's preferred text editor, instead of hardcoding gedit. --- src/gnome-shell.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gnome-shell.in b/src/gnome-shell.in index 2142c8f02..41354ad0a 100644 --- a/src/gnome-shell.in +++ b/src/gnome-shell.in @@ -303,7 +303,7 @@ function main() { ''') f.close() - subprocess.Popen(['gedit', extensionjs_path]) + subprocess.Popen(['gnome-open', extensionjs_path]) sys.exit(0) if options.eval_file: