I like the behavior of the
'smartcase' option, which lets searches I type in by hand be case-insensitive by default, case-sensitive when there are any capital letters. I also like the behavior of the
'noignorecase' option, which lets searches generated by the editor (as when hitting
#) be case-sensitive by default.
'smartcase' only does its magic when
'ignorecase' is on, so now I have a conflict: I can either get the nice behavior for hand-generated searches or the nice behavior for machine-generated searches, but not both.
How I can I get both nice behaviors?