Closed kit-ty-kate closed 4 years ago
@dra27 I believe my last commit takes care of your comment. I used Filename.quote
instead of Filename.quote_command
as, even if the patch would be better it complicates the diff more (would require to change the way every commands are created), and I'm not sure it's worth the effort.
This PR fixes the following issue:
Would it be possible to have a urgent fix release for this? This makes
opam depext
a potential very harmful command (can overwrite users files :cry:). @rjbou @AltGr