diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2014-07-18 11:16:34 +0400 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-07-18 11:16:34 +0400 |
commit | 1ed5f6a3343f7e1b882ea78d66c80a957a4cf1d3 (patch) | |
tree | ff5c580719f53c996c9571d1175bb79db2a72870 /p/xmonad | |
parent | e3aa042aa8bc4506687c0625f16d52f6fea27e83 (diff) | |
download | DHG_packages-1ed5f6a3343f7e1b882ea78d66c80a957a4cf1d3.tar.gz |
xmonad: Remove gnome-panel from the xmonad.session file (Closes: #749389) It seems that gnome-session 3.12 doesn't properly talk to gnome-panel any more (i.e. won't shutdown); this attempts to work around it. It also means that you have to start gnome-panel yourself, e.g. in ~/.gnomerc
Diffstat (limited to 'p/xmonad')
-rw-r--r-- | p/xmonad/debian/changelog | 9 | ||||
-rw-r--r-- | p/xmonad/debian/xmonad.session | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/p/xmonad/debian/changelog b/p/xmonad/debian/changelog index ee98110b9..f0f9d0a51 100644 --- a/p/xmonad/debian/changelog +++ b/p/xmonad/debian/changelog @@ -1,3 +1,12 @@ +xmonad (0.11-9) UNRELEASED; urgency=medium + + * Remove gnome-panel from the xmonad.session file (Closes: #749389) + It seems that gnome-session 3.12 doesn't properly talk to gnome-panel any + more (i.e. won't shutdown); this attempts to work around it. It also means + that you have to start gnome-panel yourself, e.g. in ~/.gnomerc + + -- Joachim Breitner <nomeata@debian.org> Fri, 18 Jul 2014 09:15:29 +0200 + xmonad (0.11-8) unstable; urgency=medium * Float mplayer2 (patch by Joey Hess, Closes: #753551) diff --git a/p/xmonad/debian/xmonad.session b/p/xmonad/debian/xmonad.session index 9653c6745..c9fd8f5cd 100644 --- a/p/xmonad/debian/xmonad.session +++ b/p/xmonad/debian/xmonad.session @@ -1,3 +1,3 @@ [GNOME Session] Name=Xmonad/GNOME -RequiredComponents=gnome-settings-daemon;gnome-panel;xmonad +RequiredComponents=gnome-settings-daemon;xmonad |