Karl Berry wrote:
> Anyway, using something other than / as the delimiter fixes the problem:
> 1445c1445
> < | sed -e '/^'"${includefile}"'$/d' \
> ---
> > | sed -e '\|^'"${includefile}"'$|d' \
>
> Bruno, shall I apply that, or is there a better way?
This is perfect. The other solution
| sed -e '/^'`echo "${includefile}" | sed -e 's,/,\\\\/`'$/d' \
is not so pretty.
Can you please apply it? Thanks.
Bruno
