In bash it is difficult to expand the tilde shortcut for ${HOME}. By default, if you pass "~/somewhere" to the shell, the tilde will not be expanded. But if we don't double-quote, then you can't use spaces in directory names without escaping them.
Possible fixes:
- Figure out a foolproof way to expand '~'
- Error out if ~ is found in a directory path in read_config_file()
In bash it is difficult to expand the tilde shortcut for ${HOME}. By default, if you pass "~/somewhere" to the shell, the tilde will not be expanded. But if we don't double-quote, then you can't use spaces in directory names without escaping them.
Possible fixes: