On 2021-01-06 8:20 a.m., Daniel Shahaf wrote:
Ok, so at least this is understood. Still I'd expect the here document to be simply removed before parsing. It's one of those little bits of unfriendliness.The «;;» token must be followed by a pattern, but in your code, it is followed by a command («:»)