From d663beab978b52aea59841caf4b2816b25dcd768 Mon Sep 17 00:00:00 2001 From: Neil Roberts Date: Mon, 17 Jun 2013 12:30:08 +0100 Subject: [PATCH] wayland: Add a --display-server option This makes Gnome Shell run as its own display server. --- src/main.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/main.c b/src/main.c index ace5947ae..37e3de2d0 100644 --- a/src/main.c +++ b/src/main.c @@ -22,6 +22,7 @@ #include #include #include +#include #include "shell-global.h" #include "shell-global-private.h" @@ -41,6 +42,7 @@ extern GType gnome_shell_plugin_get_type (void); static gboolean is_gdm_mode = FALSE; static char *session_mode = NULL; +static gboolean is_display_server = FALSE; #define DBUS_REQUEST_NAME_REPLY_PRIMARY_OWNER 1 #define DBUS_REQUEST_NAME_REPLY_ALREADY_OWNER 4 @@ -347,6 +349,12 @@ print_version (const gchar *option_name, } GOptionEntry gnome_shell_options[] = { + { + "display-server", 0, 0, G_OPTION_ARG_NONE, + &is_display_server, + N_("Run as a display server"), + NULL, + }, { "version", 0, G_OPTION_FLAG_NO_ARG, G_OPTION_ARG_CALLBACK, print_version, @@ -396,6 +404,8 @@ main (int argc, char **argv) g_option_context_free (ctx); + meta_set_is_display_server (is_display_server); + meta_plugin_manager_set_plugin_type (gnome_shell_plugin_get_type ()); meta_set_wm_name (WM_NAME);