[gnome-shell] gnome-shell-jhbuild: Allow passing args to gnome-shell

[Jasper St. Pierre <jstpierre src gnome org>]

commit cfacb05461784daa0950faf00db860cdd9545a52
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Thu Dec 6 10:58:53 2012 -0500

    gnome-shell-jhbuild: Allow passing args to gnome-shell
    
    $ ./gnome-shell -- --list-modes
    
    https://bugzilla.gnome.org/show_bug.cgi?id=689778

 src/gnome-shell-jhbuild.in |    7 ++-----
 1 files changed, 2 insertions(+), 5 deletions(-)
---
diff --git a/src/gnome-shell-jhbuild.in b/src/gnome-shell-jhbuild.in
index f8e9c42..9186f50 100755
--- a/src/gnome-shell-jhbuild.in
+++ b/src/gnome-shell-jhbuild.in
@@ -93,6 +93,7 @@ def start_shell():
         args.append('--replace')
     if options.sync:
         args.append('--sync')
+    args += params
     return subprocess.Popen(args, env=env)
 
 def run_shell():
@@ -156,11 +157,7 @@ parser.add_option("", "--sync", action="store_true")
 parser.add_option("", "--version", action="callback", callback=show_version,
                   help="Display version and exit")
 
-options, args = parser.parse_args()
-
-if args:
-    parser.print_usage()
-    sys.exit(1)
+options, params = parser.parse_args()
 
 # Handle ssh logins
 if 'DISPLAY' not in os.environ: