Just to elaborate on the quick fix for those using Kerberos.
As has been posted by several others, you can drop to the console and kill the gnome-shell process, start a new gnome-shell and return to your desktop.
If you are using Kerberos you should remember to set the KRB5CCNAME environment variable to keep all your windows in the same kerberos session.
Just to elaborate on the quick fix for those using Kerberos.
As has been posted by several others, you can drop to the console and kill the gnome-shell process, start a new gnome-shell and return to your desktop.
If you are using Kerberos you should remember to set the KRB5CCNAME environment variable to keep all your windows in the same kerberos session.
The pattern becomes:
(CTRL-ALT-F1 to the console and login)
killall -9 gnome-shell /environ | grep KRB5CCNAME=)
export $(xargs --null --max-args=1 < /proc/$(pidof gnome-session)
gnome-shell -d :0
(CTRL-ALT-F7 to get back to the desktop)
...and all of your gnome-session windows will keep using the same kerberos credentials cache.