From 60a009835085c25ba5ff820523748fa612e6f916 Mon Sep 17 00:00:00 2001 From: Philippe Coval Date: Wed, 28 Feb 2024 23:00:54 +0100 Subject: [PATCH] extra: Add efi support to setup.sh Origin: https://github.com/adoptware/pinball/pull/43 Signed-off-by: Philippe Coval Change-Id: I974c8f838d41bfc2dd0fa9ef01e6f31b48bdfeb7 --- extra/profile/pinball/etc/pinball/setup.sh | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/extra/profile/pinball/etc/pinball/setup.sh b/extra/profile/pinball/etc/pinball/setup.sh index d93eb36..dd28a83 100755 --- a/extra/profile/pinball/etc/pinball/setup.sh +++ b/extra/profile/pinball/etc/pinball/setup.sh @@ -7,7 +7,7 @@ set -x selfdir=$(dirname -- "$0") extra_dir=$(realpath -- "${selfdir}/../../../../../extra") -PATH="${selfdir}:${PATH}" +PATH="${selfdir}:${PATH}:/usr/sbin:/sbin" LANG="en_US.UTF-8" project="pinball" profile="pincab" @@ -17,6 +17,8 @@ git_branch="master" # git_branch="sandbox/rzr/devel/master" # TODO sudo=$(which sudo || echo) export DEBIAN_FRONTEND=noninteractive +HOSTYPE="${HOSTYPE:=generic}" + find /etc/pinball ||: . /etc/os-release ||: @@ -81,16 +83,20 @@ echo "# Main package" echo "# Needed packages" ${sudo} apt-get install --yes \ + fdisk \ sudo \ network-manager \ #EOL +echo "# Bootloader" +bootloader=${bootloader:=grub-pc} +fdisk -l | grep 'Disklabel type: gpt' && bootloader='grub-efi' ||: + echo "# Hardware support: ${HOST_TYPE}" list=" +${bootloader} firmware-linux-free -firmware-linux-nonfree grub-invaders -grub-pc linux-image-${HOSTYPE} memtest86+ "