Bug#253729: Splash screen that won't die

Kevin B. McCarty "Kevin B. McCarty" <kmccarty@Princeton.EDU>, 253729@bugs.debian.org
Fri, 02 Jul 2004 13:59:56 -0400


This is a multi-part message in MIME format.
--------------090304020401090806030809
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

On 07/02/2004 12:26 PM, Sebastien Bacher wrote:

> Where have you set GNOME as your environment ? Probably gnome-session in
> ~/.xsession or ~/.xinitrc ? I was suggesting to add it here.

I don't have either file, but I looked into what happens when I run
"startx".  It appears that installing Gnome sets the
/usr/bin/x-session-manager alternative to point to
/usr/bin/gnome-session.  Calling "startx" runs xinit, which in turn
calls x-session-manager through the long series of scripts in
/etc/X11/Xsession and /etc/X11/Xsession.d -- major kudos to the Gnome
and X maintainers for making this work so transparently to the user!

Anyway, I changed one line in the file
/etc/X11/Xsession.d/99xfree86-common_start from this:

	exec $STARTUP

[ $STARTUP was earlier defined to be /usr/bin/x-session-manager in the
file /etc/X11/Xsession.d/50xfree86-common_determine-startup ]
to this:

	exec gnome-session --purge-delay=2000

I deleted my ~/.gnome2/session file to reproduce the bug as noted
before, then started up Gnome...

and it works!  Both the splash screen and the panel Log Out option now
function correctly.  I double-checked that the bug can still be
reproduced by reverting that change and once again deleting
~/.gnome2/session .

Now, what I don't know is the best way to set this option from within
the X11 startup scripts.  Maybe it could be done within the script
/etc/X11/Xsession.d/55gnome-session_gnomerc that's owned by the
gnome-session package?  For instance by applying the attached patch to
that file.  (I have tested the patch.)  Alternatively this could be made
the default behavior of gnome-session.  Or, of course, the real bug in
gnome-session (triggered when executed without that option and without a
.gnome2/session file) could be fixed :-)

regards,

-- 
Kevin B. McCarty <kmccarty@princeton.edu>   Physics Department
WWW: http://www.princeton.edu/~kmccarty/    Princeton University
GPG public key ID: 4F83C751                 Princeton, NJ 08544


--------------090304020401090806030809
Content-Type: text/x-patch;
 name="55gnome-session_gnomerc.patch"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
 filename="55gnome-session_gnomerc.patch"

--- 55gnome-session_gnomerc.old	2004-07-02 13:44:08.130142920 -0400
+++ 55gnome-session_gnomerc	2004-07-02 13:44:37.837641237 -0400
@@ -8,4 +8,5 @@
   if [ -r "$GNOMERC" ]; then
     . "$GNOMERC"
   fi
+  STARTUP="$STARTUP --purge-delay=2000"
 fi


--------------090304020401090806030809--