From 1a64b58f39b4bf61979a7c72d8b638a6f8c349ec Mon Sep 17 00:00:00 2001 From: Marsman1996 Date: Wed, 23 Oct 2024 00:08:45 +0800 Subject: [PATCH] Replaces the `grub-common` with `grub-pc-bin` --- docker/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index ce8a640560..13eb787579 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,4 +1,4 @@ -### This dockerfile sets up an Ubuntu 18.04 environment from scratch +### This dockerfile sets up an Ubuntu 22.04 environment from scratch ### that is sufficient to build Theseus and run it using QEMU. @@ -30,7 +30,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y --no-ins RUN apt-get install -y build-essential curl git # Install Theseus's build dependencies -RUN apt-get install -y make gcc nasm pkg-config grub-common mtools xorriso wget +RUN apt-get install -y make gcc nasm pkg-config grub-pc-bin mtools xorriso wget # Install QEMU and KVM, based on RUN apt-get install -y qemu qemu-kvm libvirt-daemon-system libvirt-clients bridge-utils