From 50cf3dd1a5230a977f14b6435e7883f6b4ae8bb5 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Tue, 15 Nov 2011 15:01:08 -0500
Subject: [PATCH] main: Support -r as the equivalent of --replace

https://bugzilla.gnome.org/show_bug.cgi?id=676857
---
 src/core/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/main.c b/src/core/main.c
index df8914509..dc4907064 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -197,7 +197,7 @@ static GOptionEntry meta_options[] = {
     NULL
   },
   {
-    "replace", 0, 0, G_OPTION_ARG_NONE,
+    "replace", 'r', 0, G_OPTION_ARG_NONE,
     &opt_replace_wm,
     N_("Replace the running window manager"),
     NULL