DragonOS-Community/DragonOS
4
1
Fork 0
mirror of https://github.com/DragonOS-Community/DragonOS.git synced 2025-06-21 06:16:31 +00:00
Code Issues Releases Wiki Activity

chore: update docker image version in script && update doc (#1076)

Browse Source 
* chore: update docker image version in script

* chore: replace lots of spaces with newline in doc
This commit is contained in:
LIU Yuwei
2024-12-16 01:48:46 +08:00
committed by GitHub
parent 2b72148cae
commit 57b20d2326
5 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/build_in_docker.sh
View File

@ -1,6 +1,6 @@
docker rm -f dragonos-build || echo "No existed container"
cpu_count=$(cat /proc/cpuinfo |grep "processor"|wc -l)
docker run --rm --privileged=true --cap-add SYS_ADMIN --cap-add MKNOD -v $(pwd):/data -v /dev:/dev -v dragonos-build-cargo:/root/.cargo/registry --name dragonos-build -i dragonos/dragonos-dev:v1.2 bash << EOF
docker run --rm --privileged=true --cap-add SYS_ADMIN --cap-add MKNOD -v $(pwd):/data -v /dev:/dev -v dragonos-build-cargo:/root/.cargo/registry --name dragonos-build -i dragonos/dragonos-dev:v1.8 bash << EOF
source ~/.cargo/env
source ~/.bashrc
cd /data