On Thu, 1 Oct 2020, Riccardo (Jack) Lucchetti wrote:
On Thu, 1 Oct 2020, Sven Schreiber wrote:
> Am 01.10.2020 um 14:58 schrieb Riccardo (Jack) Lucchetti:
>> On Thu, 1 Oct 2020, Sven Schreiber wrote:
>>
>>> Am 01.10.2020 um 13:55 schrieb Riccardo (Jack) Lucchetti:
>>>>
>>>> Since you're on Linux, you may find this little bash script helpful:
>>>> ...
>>>> sed $f -i -e 's/&/&/g'
>>>
>>> I'm barely literate in bash or sed, I hope this doesn't replace the
&
>>> character in an already-escaped & sequence!
>>
>> Hm, I think you're right, I hadn't thought of that.
>>
>> OTOH, what cases do we possibly have of escaped sequences in the xml
>> files contained in a session file?
>
> " ?
You're right. However, if we had a list of those, it'd be possible to
instruct sed to leave them alone (provided there's not too many).
See gretl_xml_encode() in lib/src/strutils.c
Allin