Re: Gnome Terminal wont exit

[Hans-Detlev Fink <hdf pecos de>]

Sorry for following-up my own mail. The said patch was private
mail and NOT posted to the list. If you are interested I can
send it to you, provided the original author of the patch agrees.

-Hans-

Hans-Detlev Fink wrote:
> 
> Have a look into gnome-list's April archive and search for a thread
> 'gdm and gnome-terminal'. There's a patch to gdm for this.
> 
> -Hans-
> 
> Edouard Lafargue wrote:
> >
> > Patrick Colbeck <Pat.Colbeck@esc.azlan.co.uk> writes:
> >
> > > When I type "exit" in a terminal the terminal isn't destroyed it just
> > > sits there. You can kill it by using the window manager
> > > (Enlightenment). This haoppens for Gnome Terminal and RXVT
> > > etc. However it only happens if I start Gnome from GDM, if I use run
> > > level 3 and run startx with just gnome-session in .xinitrc it all
> > > works fine. Any ideas people ?
> > >
> >
> >  This has been happening to me  as well, with  rxvts, Window Maker and
> >  the same setup. As far as I can tell, the terminals get confused when
> >  there is no parent shell from which they are launched.
> >
> >  For example, if your  .xinitrc is just  an executable file with "exec
> >  gnome-session" in it, the terminals will  not exit.  But if the first
> >  line is "#!/bin/sh" then the terminals are  able to exit. By the way,
> >  I wonder if just putting  commands in a  file, and make it executable
> >  without adding  a "#!/..."  at  the beginning  is good practice. What
> >  are the pros and cons ?
> >
> >  Does your  ".xinitrc" file start  with a  "#!/bin/sh" ?  If it is the
> >  case, just  use  "XSession" in the  GDM  session chooser,  and things
> >  should work alright...
> >
> > Ed
> >
> > --
> >         FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
> >          To unsubscribe: mail gnome-list-request@gnome.org with
> >                        "unsubscribe" as the Subject.
> 
> --
>         FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
>          To unsubscribe: mail gnome-list-request@gnome.org with
>                        "unsubscribe" as the Subject.