From 017aedadd2125fa86170b6c5a161160ff7ee45b1 Mon Sep 17 00:00:00 2001 From: Josselin Mouette Date: Thu, 17 Nov 2011 00:37:49 +0000 Subject: [PATCH] gnome-shell-extensions.gsettings-override: enable the alternative status menu by default. Closes: #648112. --- debian/changelog | 7 +++++++ debian/gnome-shell-extensions.gsettings-override | 2 ++ 2 files changed, 9 insertions(+) create mode 100644 debian/gnome-shell-extensions.gsettings-override diff --git a/debian/changelog b/debian/changelog index 055bfa7c..f62fc94d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +gnome-shell-extensions (3.2.0-2) UNRELEASED; urgency=low + + * gnome-shell-extensions.gsettings-override: enable the alternative + status menu by default. Closes: #648112. + + -- Josselin Mouette Thu, 17 Nov 2011 01:35:06 +0100 + gnome-shell-extensions (3.2.0-1) experimental; urgency=low [ Victor Seva ] diff --git a/debian/gnome-shell-extensions.gsettings-override b/debian/gnome-shell-extensions.gsettings-override new file mode 100644 index 00000000..91cdf70c --- /dev/null +++ b/debian/gnome-shell-extensions.gsettings-override @@ -0,0 +1,2 @@ +[org.gnome.shell] +enabled-extensions=['alternative-status-menu@gnome-shell-extensions.gnome.org']