gnome-shell and syslog problems [SOLVED]

[Matthew Saltzman]

On Wed, 2013-05-08 at 10:35 +0200, Olav Vitters wrote: 
> On Mon, May 06, 2013 at 07:34:39PM +0000, Matthew Saltzman wrote:
> > > $HOME/.cache/gdm/session.log
> > 
> >         Window manager warning: Failed to load theme "Nodoka": Failed to
> >         find a valid file for theme Nodoka
> > 
> > Which makes sense, insofar as I did not have Nodaka installed, but does
> > not make sense, insofar as I never selected Nodaka as a theme.  (It's
> > not an option if it's not installed.)
> > 
> > Started gnome-tweak-tool from a remote SSH session, checked that the
> > default theme was still selected.  (It was.)  gnome-tweak-tool updates
> > its settings when it exits, and after that, everything seems to be
> > working fine.
> 
> Please still file a bug for this. Ideally if there is a problem with the
> theme it would revert to the default theme. Not sure if technically
> possible though, depends on why it failed (bug report would inform the
> developers so they can investigate). Assume product should be either
> mutter or gnome-shell.
> 
> Aside from that, maybe the "fail screen" should just allow to show that
> session.log file. I know there is some pending work on the fail screen.

https://bugzilla.redhat.com/show_bug.cgi?id=960978

-- 
Matthew Saltzman
Clemson University Math Sciences
mjs AT clemson DOT edu