On Apr 22, 2023, at 12:12, D. Hugh Redelmeier <[email protected]> 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 :) _______________________________________________ Swan-dev mailing list [email protected] https://lists.libreswan.org/mailman/listinfo/swan-dev
