On Fri, Feb 14, 2020 at 1:47 PM Luca Boccassi <luca.boccassi at gmail.com> wrote: > > David pointed out that sed -E is not present on certain ancient > distros, so I'll use --regexp-extended instead which is equivalent Ok ok, I might be the only one still using one of those ;-). -- David Marchand