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
This is particularly relevant in Windows, where user directories often have spaces in them (maybe OSX as well?). Right now, a path with spaces (say in refPositionsFile) will be detected as several words and trigger an error.
Classic solutions to this are:
escaping spaces
double quotes
To me both options seem fine. Ideally we'd support both. But of course this is still more work for the parser to do.
The text was updated successfully, but these errors were encountered:
which could be confined just to file path values. In principle I'm not against using variables for other values as well, it's just just more difficult to handle at that point.
The main reason why I'm not a big fan of quoting mechanisms specifically for this purpose is that their syntax differs depending on which shell you use (e.g. Bash or PowerShell).
This is particularly relevant in Windows, where user directories often have spaces in them (maybe OSX as well?). Right now, a path with spaces (say in refPositionsFile) will be detected as several words and trigger an error.
Classic solutions to this are:
To me both options seem fine. Ideally we'd support both. But of course this is still more work for the parser to do.
The text was updated successfully, but these errors were encountered: