diff --git a/Makefile b/Makefile index 29c31d2902944f6a976151b9e5be85e84af0e72c..134f5de6c997e60e5295f95f51484f0472aa6dea 100644 --- a/Makefile +++ b/Makefile @@ -4,4 +4,7 @@ build: docker build -t container . run: echo running:|figlet - docker run -e DISPLAY=${DISPLAY} -v /tmp/.X11-unix:/tmp/.X11-unix -it container + docker run -e DISPLAY=${DISPLAY} -v /tmp/.X11-unix:/tmp/.X11-unix \ + -v $(shell readlink -e ./manipulability_metrics):/home/user/catkin_ws/src \ + -v $(shell readlink -e ./scripts):/home/user/catkin_ws/scripts \ + -it container diff --git a/scripts/all.sh b/scripts/all.sh new file mode 100644 index 0000000000000000000000000000000000000000..eb24821326303ec16efce0350a298971563efaf8 --- /dev/null +++ b/scripts/all.sh @@ -0,0 +1,2 @@ +. ./scripts/prepare.sh +. ./scripts/start.sh