Cd: /home/user/catkin_ws/src/: No such file or directory

Hi messing around I deleted the catkin_WS. How do I reload this ?

Log out of the platform. Wait for 10 minutes. Then log in again. Your catkin_ws would have been restored

Did the trick thanks!