Skip to content
Snippets Groups Projects
Normal view Permalink
pre-deploy-cleanup.bash 111 B
Newer Older
Prada Sarasola, Miguel's avatar
Add scripts/Dockerfile required for deployment script
Prada Sarasola, Miguel committed
1 2 3 4 
#!/bin/bash

set -e
Prada Sarasola, Miguel's avatar
Do not attempt to remove bind-mounted directories from container  
Prada Sarasola, Miguel committed
5 
rm -rf /root/catkin_ws/build /root/catkin_ws/devel /root/catkin_ws/src
Prada Sarasola, Miguel's avatar
Add scripts/Dockerfile required for deployment script
Prada Sarasola, Miguel committed
6 7 

# Unset env vars?