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
When a user types in a command into dmoj-cli, the command is not properly parsed shell-style to handle quotes and escapes. Instead, it is simply split using str.split on ' ':
line=command.split(' ')
This makes it very hard to deal with stuff like file names with spaces, for example. As a user, you'd expect a shell-like prompt to be able to handle shell-like quotes. We should just use shlex.split which does all the work for you.
The text was updated successfully, but these errors were encountered:
When a user types in a command into dmoj-cli, the command is not properly parsed shell-style to handle quotes and escapes. Instead, it is simply split using
str.split
on' '
:This makes it very hard to deal with stuff like file names with spaces, for example. As a user, you'd expect a shell-like prompt to be able to handle shell-like quotes. We should just use
shlex.split
which does all the work for you.The text was updated successfully, but these errors were encountered: