↧
Answer by Eliah Kagan for When using a variable to set the path, I get "No...
In the shell, even though double quotes provide a weaker form of quoting than single quotes, they still suppress tilde expansion, which is what converts ~/catkin_ws (in some contexts where it appears)...
View ArticleAnswer by mook765 for When using a variable to set the path, I get "No such...
From man bash: EXPANSION Expansion is performed on the command line after it has been split into words. There are seven kinds of expansion performed: brace expansion, tilde expansion, parameter and...
View ArticleWhen using a variable to set the path, I get "No such file or directory", but...
I set the variable CATKIN_WS="~/catkin_ws", but when I use it, it does not work. However, if I simply go to the path that I have set it at, I have no problems. Why does it not work when I set it as a...
View Article