☰

/catkin_ws/devel/setup.bash: そのようなファイルまたはディレクトリはありません

tag-icon • tag-icon 16.04 bash bashrc
/catkin_ws/devel/setup.bash: そのようなファイルまたはディレクトリはありません

これを削除するにはどうすればいいですか?

bash: /opt/ros/kinetic/setup.bash: No such file or directory
bash: /home/pro/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/pro/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/pro/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/pro/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/pro/catkin_ws/devel/setup.bash: No such file or directory

答え1

プログラムによって~/.bashrcファイルに不要な行がいくつか残されています。gedit ~/.bashrcそれらを見つけて削除してください。

これはsource/opt/ros/jade/setup.bash、スクリーンショットに入力したコマンドによって追加されました: $ echo "source/opt/ros/jade/setup.bash" >> ~/.bashrc。

答え2

私も同じ問題を抱えていましたが、別の解決策がありました。私は以下を使用しておりzsh、変更する必要がありました:

source ~/catkin_ws/devel/setup.bash

に

source ~/catkin_ws/devel/setup.zsh

私の.zshrc

関連情報