From 7a82132ecc10c08a26371145b0f12a0feb1141f6 Mon Sep 17 00:00:00 2001 From: Jianfeng Jiang Date: Thu, 9 May 2024 02:26:59 +0000 Subject: [PATCH] Bump version in the documentation --- docs/src/kernel/README.md | 2 +- osdk/Cargo.toml | 7 ++++++- tools/bump_version.sh | 4 ++++ 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/docs/src/kernel/README.md b/docs/src/kernel/README.md index 79767a2d7..748ad5550 100644 --- a/docs/src/kernel/README.md +++ b/docs/src/kernel/README.md @@ -44,7 +44,7 @@ git clone https://github.com/asterinas/asterinas 2. Run a Docker container as the development environment. ```bash -docker run -it --privileged --network=host --device=/dev/kvm -v asterinas:/root/asterinas asterinas/asterinas:0.3.0 +docker run -it --privileged --network=host --device=/dev/kvm -v asterinas:/root/asterinas asterinas/asterinas:0.4.2 ``` 3. Inside the container, go to the project folder to build and run Asterinas. diff --git a/osdk/Cargo.toml b/osdk/Cargo.toml index a8c49012f..42225a5be 100644 --- a/osdk/Cargo.toml +++ b/osdk/Cargo.toml @@ -15,7 +15,12 @@ git = "https://github.com/asterinas/asterinas" rev = "cc4111c" # When publishing, the crate.io version is used, make sure # the builder is published -version = "0.1.0" +# FIXME: The version is currently commented out as it is no longer in use. +# If this version is being used, +# please ensure to update `bump_version.sh` appropriately. +# `bump_version.sh will also update this version, +# however, the dependent crate may not share the same version as the whole project. +# version = "0.1.0" [dependencies] clap = { version = "4.4.17", features = ["cargo", "derive"] } diff --git a/tools/bump_version.sh b/tools/bump_version.sh index fbd9c07ac..fa44b7301 100755 --- a/tools/bump_version.sh +++ b/tools/bump_version.sh @@ -49,6 +49,10 @@ for workflow in $WORKFLOWS; do update_image_versions $workflow done +# Update Docker image versions in the documentation +GET_STARTED_PATH=${ASTER_SRC_DIR}/docs/src/kernel/README.md +update_image_versions $GET_STARTED_PATH + # Create or update VERSION echo "${new_version}" > ${VERSION_PATH}