asterinas/tools/docker/run_dev_container.sh
2023-08-14 10:45:01 +08:00

12 lines
350 B
Bash
Executable File

#!/bin/bash
set -e
SCRIPT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
JINUX_SRC_DIR=${SCRIPT_DIR}/../..
CARGO_TOML_PATH=${SCRIPT_DIR}/../../Cargo.toml
VERSION=$( cat ${JINUX_SRC_DIR}/VERSION )
IMAGE_NAME=jinuxdev/jinux:${VERSION}
docker run -it --privileged --network=host --device=/dev/kvm -v ${JINUX_SRC_DIR}:/root/jinux ${IMAGE_NAME}