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).
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------