I haven't reported any bugs in Ubuntu in a long while. I'd forgotten how pleasant the Ubuntu community is. Thank you, RedSingularity.
And this is how I find the option: Keyboard Preferences > Layouts > Options... > Ctrl key position > Make Caps Lock an additional Ctrl -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/728797 Title: When using "Make Caps Lock an additional Ctrl" keyboard option, doing a dist-upgrade causes caps lock to revert to a caps lock key -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
