Re: About gsettings aborting on unkown schemas

[Florian Max <florian muellner gmail com>]

Hi,

2011/5/27 ecyrbe <ecyrbe gmail com>

I don't agree. The desktop should be robust by design and not messy by design.
if we can fix this, we should! And if we find other things that crash the desktop, we should also fix them.

We can't "fix things that crash the desktop" if we allow arbitrary code inside the window manager. For instance, the following extension code will crash the shell:

const Main = imports.ui.main;
function main() {
   Main.overview = null;
}

The only way to make the desktop robust against extensions doing stupid things is to remove them or run them out of process (limiting them to some dbus api we'd have to export).

Florian