打开终端显示bash: /home/dlut/catkin_ws/devel/setup.bash: No such file or directory解决办法

今天看到catkin_ws这个工作空间没有用，便随手删了，然后打开终端便显示

bash: /home/dlut/catkin_ws/devel/setup.bash: No such file or directory

中文则是没有那个文件或目录。

遇到此问题，解决办法如下：

其实catkin_ws工作空间不能删除，删除便出现上述问题，因此，解决办法就是重新建立catkin_ws工作空间（真机智）

一、创建并初始化catkin_ws工作空间：

mkdir -p ~/catkin_ws/src
cd ~/catkin_ws/src
catkin_init_workspace

二、编译工作空间

cd catkin_ws
catkin_make

此时，可以在catkin_ws工作空间看到build、devel、src三个文件夹

三、加载与catkin相关的系统文件

source ~/catkin_ws/devel/setup.bash

问题解决，快捷键ctrl+alt+T重新打开一个终端，bash: /home/dlut/catkin_ws/devel/setup.bash: No such file or directory内容便消失了。