[gnome-shell] gnome-shell-jhbuild: Allow passing args to gnome-shell
- From: Jasper St. Pierre <jstpierre src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] gnome-shell-jhbuild: Allow passing args to gnome-shell
- Date: Sun, 9 Dec 2012 23:31:04 +0000 (UTC)
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:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]