这是indexloc提供的服务，不要输入任何密码
Skip to content

Reduce redundancy #14

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
+13 −10
Open

Reduce redundancy #14

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d689e1a
Reduce redundancy
f-hy Jun 10, 2025
15bdc6e
Reduce redundancy
f-hy Jun 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 13 additions & 10 deletions docker_cmd.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/bash
enclave_image="ddnirvana/penglai-enclave:v0.4"

function print_usage() {
RED='\033[0;31m'
Expand All @@ -15,11 +16,13 @@ function print_usage() {
"
}

function docker_cmd() {
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it $enclave_image "$@"
}

# no arguments
if [ $# == 0 ]; then
echo "Default: building penglai demo image"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 bash scripts/build.sh
exit 0
set -- "build"
fi

if [[ $1 == *"help"* ]]; then
Expand All @@ -30,50 +33,50 @@ fi
# build penglai
if [[ $1 == "build" ]]; then
echo "Build: building penglai demo image"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 bash scripts/build.sh
docker_cmd bash scripts/build.sh
exit 0
fi

# build penglai-32-nommu
if [[ $1 == "build32" ]]; then
echo "Build: building penglai-32-nommu demo image"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 bash scripts/build32.sh
docker_cmd bash scripts/build32.sh
exit 0
fi

# run penglai
if [[ $1 == "qemu" ]]; then
echo "Run: run penglai demo image in sPMP-supported Qemu"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 bash scripts/run-qemu.sh
docker_cmd bash scripts/run-qemu.sh
exit 0
fi

# run penglai
if [[ $1 == "qemu32" ]]; then
echo "Run: run penglai32-nommu demo image in Qemu"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 bash scripts/run-qemu32.sh
docker_cmd bash scripts/run-qemu32.sh
exit 0
fi

# run penglai with freertos
if [[ $1 == "freertos" ]]; then
echo "Run: run freertos demo image in Qemu"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 bash scripts/run-freertos.sh
docker_cmd bash scripts/run-freertos.sh
exit 0
fi

# run docker
if [[ $1 == *"docker"* ]]; then
echo "Run: run docker"
#sudo docker run --privileged --cap-add=ALL -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.2
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4
docker_cmd
exit 0
fi

# make clean
if [[ $1 == *"clean"* ]]; then
echo "Clean: make clean"
docker run -v $(pwd):/home/penglai/penglai-enclave -w /home/penglai/penglai-enclave --rm -it ddnirvana/penglai-enclave:v0.4 make clean
docker_cmd make clean
exit 0
fi

Expand Down