EDIT: I almost decided to switch to Xubuntu, but then I installed xfce, tried it out, and found that they didn't provide that option either. Besides, using xmonad with xfce is much more complicated than with GNOME.
EDIT: I almost decided to switch to Xubuntu, but then I installed xfce, tried it out, and found that they didn't provide that option either. Besides, using xmonad with xfce is much more complicated than with GNOME.
setxkbmap -option ctrl:nocaps
[0] https://gist.github.com/Spoygg/3122226(Of course then I switched to xfce on my laptop, which seems to run its own xmodmap command after its run startup scripts or something which overrides them, which is kinda annoying, haven't found a nice way to get around that).
(Apologies if me saying 'runs at startup' was misleading -- obviously if I had tried to do it from a script that ran on boot, before X starts (rather than on session start) it could never have worked in the first place!).
Edit: now I've started thinking about it again, I've changed the autostart script to call another which sleeps for 10s before xmodmap, which seems to have fixed the problem.