On Mon, Jul 13, 2020 at 06:48:58PM +0200, Johannes Altmanninger wrote: > > I believe the last two sed commands should have the "g" modifier to replace all matches: > > ... -e 's#\\#\\\\#g' -e 's#:#\\:#g' > You're right, I'll send an updated patch.