2018-08-31 21:35:09 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
#
|
|
|
|
|
# Install grub to the primary partition. Then, make the
|
|
|
|
|
# configuration file for grub.
|
|
|
|
|
#
|
|
|
|
|
# https://wiki.archlinux.org/index.php/Grub
|
|
|
|
|
|
|
|
|
|
set -xe
|
|
|
|
|
|
|
|
|
|
arch-chroot /mnt grub-install /dev/sda
|
|
|
|
|
|
2018-09-10 23:05:46 +02:00
|
|
|
# This should work, since /etc/default/grub should exist after
|
|
|
|
|
# installing the grub package with pacman, although it hasn't
|
|
|
|
|
# been tested yet. This prevents the GRUB window from showing
|
|
|
|
|
# at boot, which is ideal for single operating system machines.
|
|
|
|
|
#
|
|
|
|
|
# In the future, if you need to use grub, simply chroot into
|
|
|
|
|
# your system, edit the config file, and grub-mkconfig once more.
|
|
|
|
|
sed -i '/GRUB_TIMEOUT/c\GRUB_TIMEOUT=0' /etc/default/grub
|
|
|
|
|
|
2018-08-31 21:35:09 +02:00
|
|
|
arch-chroot /mnt grub-mkconfig -o /boot/grub/grub.cfg
|
