From be38980aeaed354ea132d6e75272d6d149e7ad50 Mon Sep 17 00:00:00 2001 From: none <none> Date: Mon, 7 Nov 2022 22:06:07 +0100 Subject: [PATCH] prettier and nicer --- Makefile | 5 ++++- scripts/all.sh | 2 ++ 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 scripts/all.sh diff --git a/Makefile b/Makefile index 29c31d2..134f5de 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 0000000..eb24821 --- /dev/null +++ b/scripts/all.sh @@ -0,0 +1,2 @@ +. ./scripts/prepare.sh +. ./scripts/start.sh -- GitLab