Hypothetically

So K made curry last night, and I helped out by chopping the veggies, and I chopped an onion and single-clove garlic and a green chili and then washed my hands and sat down in front of the TV, at which point my nose was slightly runny and I wiped it with the back of my hand and OH MY GOD IT BURNS.

Speaking purely hypothetically, I may also, some two or three ineffective hand-scrubbings later, have gone to the bathroom.

The chili was great, by the way, thanks for asking.

Focus follows mouse in Gnome 3

There are plenty of Google hits on that topic, but so far I haven’t found one that gives the right answer. Here it is:

% dconf write /org/gnome/desktop/wm/preferences/focus-mode \
    "string 'mouse'"

To switch back:

% dconf write /org/gnome/desktop/wm/preferences/focus-mode \
    "string 'click'"

This works in Gnome 3.4, and I assume (but haven’t verified) that it also works in Gnome 3.6. However, given the recent developments in Gnome land, I will probably move away from Gnome altogether.