|
|
|---|
} | } |
| |
pkg_postinst() { | pkg_postinst() { |
[[ -n ${DONT_MOUNT_BOOT} ]] && return 0 |
[[ -n ${DONT_MOUNT_BOOT} ]] || setup_boot_dir "${ROOT}"/boot |
setup_boot_dir "${ROOT}"/boot |
elog "To install grub files to another device (like a usb stick), just run:" |
einfo "To install grub files to another device (like a usb stick), just run:" |
elog " emerge --config =${PF}" |
einfo " emerge --config =${PF}" |
elog "Alternately, you can use GRUB_ALT_INSTALLDIR=/path/to/use to tell" |
|
elog "grub where to install in a non-interactive way." |
|
|
} | } |
| |
pkg_config() { | pkg_config() { |
local dir | local dir |
|
if [ -z "${GRUB_ALT_INSTALLDIR}" ] || [ ! -d "${GRUB_ALT_INSTALLDIR}" ] |
|
then |
einfo "Enter the directory where you want to setup grub:" | einfo "Enter the directory where you want to setup grub:" |
read dir | read dir |
|
else |
|
dir=${GRUB_ALT_INSTALLDIR} |
|
fi |
setup_boot_dir "${dir}" | setup_boot_dir "${dir}" |
} | } |
