Re: [Dev-luatex] Don't use sed -r

Yue Wang wrote:

so I think it is safe to change your expression from sed -r 's/^([0-9]+).*/\1/'` into sed 's/^\([0-9]\+\).*/\1/'` Please have a test (I have no *nix system with me now)

Done and works, thank you. Best wishes, Taco