On Sat, 2023-12-30 at 11:34 +0100, Ulrich Mueller wrote:
> > > > > > On Sat, 30 Dec 2023, Michał Górny wrote:
> 
> > -	edob "${compress[@]}" -- "${@}"
> > +	edob "${compress[@]}" -- "${@}" || die
> 
> Doesn't edob already die by itself?

Oh, indeed it does.  I misread the comment above then.  I'll withdraw
this commit.  Nevertheless, I think the other one makes sense as it
hints people to install zstd.

-- 
Best regards,
Michał Górny