Re: Segmentation fault in sed

[Paolo Bonzini]

Please try 4.0.8 (anyway you probably want to escape those stars).  4.0.7 is
not the latest.

Paolo

> I get a segmentation fault when trying to use 'sed' like this:
>
> $ sed '/^***** page (\d) *****$/'
> Segmentation fault
>
> The version I'm using is the latest stable:
>
> GNU sed version 4.0.7
>
> However, it also occurs in 4.0.5, but not in 3.0.x versions that I've
> tried. In case it matters, my setup is:
>
> Linux 2.4.22 i686 GNU/Linux
>
> Jakub
>
>