bash: catkin_ws012/devel/setup.bash: 没有那个文件或目录

这个错误提示表明你的终端无法找到`catkin_ws/devel/setup.bash`这个文件或目录。这个文件通常用于加载与`catkin`相关的系统文件。在你的情况下，这个文件被删掉了，因此终端无法找到它。

解决这个问题的方法是重新加载与`catkin`相关的系统文件。你可以使用以下命令来加载这个文件：

source ~/catkin_ws/devel/setup.bash

这个命令会告诉终端去加载`catkin_ws/devel/setup.bash`文件。确保`catkin_ws`是你工作空间的正确路径。一旦加载成功，你的终端就可以正确找到相关的文件了。<span class="em">1</span><span class="em">2</span><span class="em">3</span>
#### 引用[.reference_title]
- *1* *2* *3* [打开终端显示bash: /home/dlut/catkin_ws/devel/setup.bash: No such file or directory解决办法](https://blog.csdn.net/Time_Memory_cici/article/details/131711679)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 100%"]
[ .reference_list ]