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?
" ?
-s