[Bug 1236749] Re: Gnome shell extensions disabled at every startup

2014-01-25 Thread Gregor Giesen
I found the following odd behaviour: If I do the reboot after (!) logging out (e.g. from the GDM menu), then my extensions will be still activated afterwards. This is a somehow cumbersome workaround and sometimes I forget to do this extra step. It looks like a direct reboot does not do a clean s

[Bug 478392] Re: /tmp is not cleaned when on a separate partition

2010-10-18 Thread Gregor Giesen
This bug is also affecting maverick. I'm a bit bewildered how this bug did survive several releases. On my lucid system before, I had /tmp on an extra xfs partition and changing the fs to ext4 did help. But now with maverick I tried the btrfs on /tmp and no cleaning, but changing to ext4 does no