From a924e3cb3de3f5f90ca7744f96cd5660b3705c5f Mon Sep 17 00:00:00 2001 From: Guilhem Moulin Date: Fri, 11 Oct 2013 02:47:00 +0200 Subject: Bugfix: /media/cdrom is required in the fstab --- partition.sh | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'partition.sh') diff --git a/partition.sh b/partition.sh index 5e836bb..f13c295 100755 --- a/partition.sh +++ b/partition.sh @@ -19,9 +19,13 @@ fripost_wipe $device /sbin/parted -s $device mklabel gpt log "Created disklabel GPT for device $device" -# Create a UEFI partition if needed -[ -d /proc/efi -o -d /sys/firmware/efi ] && \ - part_uefi=$( fripost_mkpart $device uefi 256M +boot ) +# Create a EFI partition if needed; otherwise, create a partition needed +# to put GRUB on GPT disklabels. +if [ -d /proc/efi -o -d /sys/firmware/efi ]; then + part_efi=$( fripost_mkpart $device efi 256M +boot ) +else + fripost_mkpart $device bios_grub 8M +bios_grub +fi # Create boot and system partitions part_boot=$( fripost_mkpart $device boot 64M ) @@ -71,3 +75,5 @@ fripost_fstab /dev/$vg/root / ext4 noatime,errors=remount-ro fripost_fstab /dev/$vg/swap none swap sw fripost_fstab /dev/$vg/home /home ext4 noatime fripost_mount_partitions + +# TODO: EFI: format, add in fstab, how to populate? -- cgit v1.2.3