On Thu, 1 Oct 2020, Sven Schreiber wrote:
Am 01.10.2020 um 13:55 schrieb Riccardo (Jack) Lucchetti:
> On Thu, 1 Oct 2020, Sven Schreiber wrote:
>
>>
>> I _think_ it should be enough the replace the "&" with the
corresponding
>> xml code: "&" (without the quotes). Then save the file and gzip
the
>> whole previously extracted folder again into a .gretl archive file; try
>> to reload with gretl.
>
> 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?
-------------------------------------------------------
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
-------------------------------------------------------