yahboom@Transbot:~/dev/catkin_ws$ source ~/dev/catkin_ws/devel/setup.bash yahboom@Transbot:~/dev/catkin_ws$ echo"source~/dev/catkin_ws/devel/setup.bash" >> ~/.bashrc bash: echosource~/dev/catkin_ws/devel/setup.bash: No such file or directory
时间: 2023-07-19 12:37:21 浏览: 127
./nginx: No such file or directory
5星 · 资源好评率100%
这个错误可能是因为你在执行 `echo` 命令的时候,没有在 `echo` 和文件路径之间添加空格。你可以尝试使用以下命令来添加一个空格并将路径添加到 `~/.bashrc` 文件中:
```
echo "source ~/dev/catkin_ws/devel/setup.bash" >> ~/.bashrc
```
这应该会将路径添加到 `~/.bashrc` 文件的末尾,这样每次打开终端时都会自动加载该文件,并且你可以执行 `source ~/.bashrc` 命令来立即加载该文件。
阅读全文