Re: switching window managers

[Haines Brown <brownh@hartford-hwp.com>]

Marco,

Thanks! You've no idea how I've struggled to get this information.

> Hello Haines,AFAIK if you remove your ~/.gnome* dirs. then you will be able to
> restart a fresh gnome desktop...

I presume that since gnome is set as my desktop manager, these files
would be regenerated without my having to restart gnome explicitly. 

> > Do you happen to know the name of the gnome desktop switcher
> > executable...
> 
> switchdesk-gnome-3.9.8-2

The terminology leaves my head spinning. There's the RedHat desktop
switcher application, which is what you refer to. But then there's a
Workplace Switcher, which  is a pager. This is what is broken and what
I meant. I apologize.

> Furthermore an useful hint from an old message:
> 
> "Slough, Kelle" <Kelle.Slough@dsionline.com> writes: 
> > Unfortunately though, I cannot get the panel back.  Does anyone have any
> > ideas on how I can restore the panel?  As an FYI, I did install the latest
> > fixes afterwards and that has not corrected the problem.
> 
> Just run the panel in a terminal (type "panel") and then type
> "save-session" after the panel starts.
> 
> Havoc

I assume that "havoc" is the person's name, not what happens if you
follow the advice ;-).

Haines
-
To unsubscribe from this list: send the line "unsubscribe linux-newbie" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.linux-learn.org/faqs