Re: Escaped percent sign in shell escape (bang) command (ed 1.16)

[Antonio Diaz Diaz]

Hello,

Martin Thomsen wrote:
> Using GNU bash 5.0.17(1) and GNU ed version 1.16 the command
>
> printf '%s\n' 'r !date +"% modified on \%F"' ',p' Q | ed -s fil1
>
> outputs
>
> date +"fil1 modified on \%F"
> fil1 modified on \2021-07-10
>
> I think the output should contain no backslashes, per POSIX
> documentation. The GNU ed manual would benefit from clarification.

Maybe it would be nice if the output would contain no backslashes, but I see 
nothing in the POSIX documentation nor in the ed manual that forces ed to 
remove them. AFAIK, GNU ed has never removed the slash before the '%'.

If there is a consensus that ed should remove the backslash from an escaped 
'%', I'll happily implement it.


Best regards,
Antonio.