Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-21 20:04:09 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

[docker] always mount current paparazzi tree

Browse Source
This commit is contained in:
Felix Ruess
2015-07-01 13:06:11 +02:00
parent 98dc38379e
commit 64fdcfec0a
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docker/run.sh
+5 -6
View File
@@ -10,11 +10,10 @@ else
args="$@"
fi
if [ -z "$PAPARAZZI_HOME" ]; then
SCRIPT=$(readlink -f $0)
SCRIPT_DIR=$(dirname $(readlink -f $0))
PAPARAZZI_HOME=$(readlink -m $SCRIPT_DIR/..)
fi
# set PAPARAZZI_SRC to this tree
SCRIPT=$(readlink -f $0)
SCRIPT_DIR=$(dirname $(readlink -f $0))
PAPARAZZI_SRC=$(readlink -m $SCRIPT_DIR/..)
# PAPARAZZI_HOME inside the container
PPRZ_HOME_CONTAINER=/home/pprz/paparazzi
@@ -50,7 +49,7 @@ if [ -z "$DISABLE_USB" ]; then
fi
# share the paparazzi directory and set it as working directory
SHARE_PAPARAZZI_HOME_OPTS="--volume=$PAPARAZZI_HOME:$PPRZ_HOME_CONTAINER \
SHARE_PAPARAZZI_HOME_OPTS="--volume=$PAPARAZZI_SRC:$PPRZ_HOME_CONTAINER \
--env=PAPARAZZI_HOME=$PPRZ_HOME_CONTAINER \
--env=PAPARAZZI_SRC=$PPRZ_HOME_CONTAINER \
-w $PPRZ_HOME_CONTAINER"