On Apr 22, 2023, at 12:12, D. Hugh Redelmeier <hugh at mimosa.com> wrote: > > > Worse: my fingers have been using egrep for 44 years. I wonder how long > it will take me to unlearn it. Typing "grep -E" is not easier than typing > "egrep". Grrr. alias egrep=grep -E I will have to do that myself :)