> > Are these problems before or after a reboot ?
>
> After logging in once. If you log out and then log back in the
> gnome panel is gone or non operational. Rebooting does not help.
> Cleaning /tmp seems to help, but I am still experimenting with
> workarounds until the developers release a fixed version of whatever
> is broken.
The thing is more random that I thought, the gnome-panel seems to
be crashing randomly, and the only workaround I found is to kill
it (perhaps several times) and restart it manually if it dies.
I wrote a script that my users can run to do that if they need to.
I have seen this happening only on 32-bit machines, the 64-bit
machines seem unaffected.
Miguel A. Lerma
--
Miguel A. Lerma
Math Comp Sys Admin
Department of Mathematics <[log in to unmask]>
Northwestern University <http://www.math.northwestern.edu/~mlerma/>
2033 Sheridan Road 847-491-8020 (w)
Evanston, IL 60208-2730 847-491-8906 (f)