>>>>> On Sat, 30 Dec 2023, Michał Górny wrote:

> -	edob "${compress[@]}" -- "${@}"
> +	edob "${compress[@]}" -- "${@}" || die

Doesn't edob already die by itself?