stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ safety ] Treat extra args in configs more smartly #271

Open buzden opened 7 months ago

buzden commented 7 months ago

See discussion in #270. We should treat single strings of extra configs as being able to pass several arguments, while disallowing unsafe things like leaving unescaped & and similar things. Simple stuff like splitting by a space can brake options containing spaces inside strings like "--opt1 --opt2=\"a b\"".

As an author of status quo, I'm going to think how can we sort this out in December, if no one would come with a solution earlier.