Skip to content

Piero Bosio Social Web Site Personale Logo Fediverso

Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone

#TIL that in #less, if you enable case-insensitive searching, it only searches insensitively if your search string is all lower case.

Uncategorized
1 1 0
  • that in , if you enable case-insensitive searching, it only searches insensitively if your search string is all lower case. As soon as you include a capital letter in the search string, it goes back to searching case-sensitively regardless.

    Weird how it's easy to miss things like that. I knew that happened in , but somehow, in 20 years I'd never noticed it in less.

    I presume the rationale (in both tools) is that if you went to the extra effort of typing the capital letter, you meant it. I found out that less did this by _pasting_ a search string into it, which invalidates that assumption – it would have been _more_ effort for me to deliberately downcase the string I pasted.

    So I guess I must have never done that before, or else, wasn't paying attention when I did!

  • Oblomovundefined Oblomov shared this topic on

Gli ultimi otto messaggi ricevuti dalla Federazione
Post suggeriti