mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-05-20 02:49:07 +08:00
2668510295
To run the image you need to use the docker_run.sh script found in the Tools directory as shown below: ./Tools/docker_run.sh make all_variants_px4_fmu-v5x
31 lines
708 B
Bash
Executable File
31 lines
708 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# docker hygiene
|
|
|
|
#Delete all stopped containers (including data-only containers)
|
|
#docker rm $(docker ps -a -q)
|
|
|
|
#Delete all 'untagged/dangling' (<none>) images
|
|
#docker rmi $(docker images -q -f dangling=true)
|
|
|
|
if [[ -z "${DOCKER_TAG}" ]]; then
|
|
TAG_NAME=":latest"
|
|
else
|
|
TAG_NAME=":${DOCKER_TAG}"
|
|
fi
|
|
|
|
PX4_DOCKER_REPO="px4io/px4-dev$TAG_NAME"
|
|
|
|
echo $PX4_DOCKER_REPO
|
|
|
|
PWD=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
|
|
SRC_DIR=$PWD/../
|
|
|
|
docker run -it --rm -w "${SRC_DIR}" \
|
|
--env=LOCAL_USER_ID="$(id -u)" \
|
|
--publish 14556:14556/udp \
|
|
--volume=/tmp/.X11-unix:/tmp/.X11-unix \
|
|
--volume=/tmp:/tmp:rw \
|
|
--volume=${SRC_DIR}:${SRC_DIR}:rw \
|
|
${PX4_DOCKER_REPO} /bin/bash -c "$1 $2 $3"
|