Ask Your Question
0

Deleted workspace the wrong way

asked 2017-11-07 06:42:52 -0500

Lauran gravatar image

updated 2017-11-07 06:56:40 -0500

gvdhoorn gravatar image

Hello,

I have deleted some workspaces by deleting the complete workspace folders in my home folder. Just right mouse click and delete.

Now when I open a terminal I get multiple messages:

bash: /home/lauran/ur5_ws/devel/setup.bash: No such file or directory
bash: /home/lauran/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/lauran/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/lauran/ur5_ws/devel/setup.bash: No such file or directory
bash: /home/lauran/catkin_ws/devel/setup.bash: No such file or directory
bash: /home/lauran/robot_ws/devel/setup.bash: No such file or directory
bash: /home/lauran/robot_ws/devel/setup.bash: No such file or directory

I don't use these workspaces anymore but I've read that I should have deleted my workspaces more properly. Is there a way where i can fix these errors so that there won't a situation where these deleted workspaces cause any problems?

Thank you.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2017-11-07 06:58:52 -0500

gvdhoorn gravatar image

Is there a way where i can fix these errors so that there won't a situation where these deleted workspaces cause any problems?

Try opening the file /home/lauran/.bashrc in a text editor (gedit fi) and scroll to the end. Most likely you have a number of source /home/lauran/../devel/setup.bash lines there.

Remove (or comment) those and save the file. Open a new terminal. The errors should now be gone.

I don't use these workspaces anymore but I've read that I should have deleted my workspaces more properly.

Workspaces are just directories with files, so removing them is exactly the same as you would with any other directories and / or files.

I wouldn't know of a more "proper way".

edit flag offensive delete link more

Comments

The problem has been resolved, thank you

Lauran gravatar imageLauran ( 2017-11-07 07:31:52 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2017-11-07 06:42:52 -0500

Seen: 47 times

Last updated: Nov 07 '17