From 8b219c077e6cd1c179075bb13b77806554a3af72 Mon Sep 17 00:00:00 2001 From: Qingsong Chen Date: Fri, 12 Dec 2025 08:53:04 +0000 Subject: [PATCH] Rename the grub menu of ISO image --- distro/iso_image/default.nix | 6 +++++- tools/nixos/build_iso.sh | 2 ++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/distro/iso_image/default.nix b/distro/iso_image/default.nix index e9c1a1ff1..2348e7411 100644 --- a/distro/iso_image/default.nix +++ b/distro/iso_image/default.nix @@ -1,5 +1,5 @@ { pkgs ? import { }, autoInstall ? false, test-command ? "" -, extra-substituters ? "", extra-trusted-public-keys ? "", ... }: +, extra-substituters ? "", extra-trusted-public-keys ? "", version ? "", ... }: let installer = pkgs.callPackage ../aster_nixos_installer { inherit test-command extra-substituters extra-trusted-public-keys; @@ -10,6 +10,10 @@ let "${pkgs.path}/nixos/modules/installer/cd-dvd/channel.nix" ]; + system.nixos.distroName = "Asterinas NixOS"; + system.nixos.label = "${version}"; + isoImage.appendToMenuLabel = " Installer"; + services.getty.autologinUser = pkgs.lib.mkForce "root"; environment.systemPackages = [ installer ]; environment.loginShellInit = '' diff --git a/tools/nixos/build_iso.sh b/tools/nixos/build_iso.sh index e63297245..6d49e7ba5 100755 --- a/tools/nixos/build_iso.sh +++ b/tools/nixos/build_iso.sh @@ -8,6 +8,7 @@ SCRIPT_DIR=$(cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd) ASTERINAS_DIR=$(realpath ${SCRIPT_DIR}/../..) DISTRO_DIR=$(realpath ${ASTERINAS_DIR}/distro) TARGET_DIR=${ASTERINAS_DIR}/target/nixos +VERSION=$(cat ${ASTERINAS_DIR}/VERSION) mkdir -p ${TARGET_DIR} @@ -16,4 +17,5 @@ nix-build ${DISTRO_DIR}/iso_image \ --argstr test-command "${NIXOS_TEST_COMMAND}" \ --argstr extra-substituters "${RELEASE_SUBSTITUTER} ${DEV_SUBSTITUTER}" \ --argstr extra-trusted-public-keys "${RELEASE_TRUSTED_PUBLIC_KEY} ${DEV_TRUSTED_PUBLIC_KEY}" \ + --argstr version ${VERSION} \ --out-link ${TARGET_DIR}/iso_image