> > 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 <[email protected]> Northwestern University <http://www.math.northwestern.edu/~mlerma/> 2033 Sheridan Road 847-491-8020 (w) Evanston, IL 60208-2730 847-491-8906 (f)
