Closed hugomg closed 3 months ago
(Reviewer: look at the diff for the 2nd commit; the 1st one has only whitespace)
This is a PR to make shell quoting slightly prettier. Previously, we would generate command lines looking like
lua 'main.lua' 'binarytrees.lua' '5' '1' > '/tmp/lua_RnBfqB'
Now we recognize that those those strings don't need quotes
lua main.lua binarytrees.lua 5 1 > /tmp/lua_RnBfqB
(Reviewer: look at the diff for the 2nd commit; the 1st one has only whitespace)
This is a PR to make shell quoting slightly prettier. Previously, we would generate command lines looking like
Now we recognize that those those strings don't need quotes