You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We currently split the inputs passed by the user using str.split, which will be wrong for some inputs (e.g., if the user passes in a filename containing whitespaces). We should instead use shlex.split.
The text was updated successfully, but these errors were encountered:
* action: use shlex.split
Closes#77.
Signed-off-by: William Woodruff <william@trailofbits.com>
* whitespace selftests
Signed-off-by: William Woodruff <william@trailofbits.com>
* document `inputs` a bit more
Signed-off-by: William Woodruff <william@trailofbits.com>
---------
Signed-off-by: William Woodruff <william@trailofbits.com>
We currently split the inputs passed by the user using
str.split
, which will be wrong for some inputs (e.g., if the user passes in a filename containing whitespaces). We should instead useshlex.split
.The text was updated successfully, but these errors were encountered: