diff options
author | Philipp Born | 2018-07-06 21:11:14 +0200 |
---|---|---|
committer | Philipp Born | 2018-07-06 21:11:14 +0200 |
commit | faa9489e20a0cde452a833ad91ed766ee66df861 (patch) | |
tree | 83e48cce32e9af89f1dca29788b10eabe22c9f80 /grub-imageboot.install | |
download | aur-faa9489e20a0cde452a833ad91ed766ee66df861.tar.gz |
initial commit
Diffstat (limited to 'grub-imageboot.install')
-rw-r--r-- | grub-imageboot.install | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/grub-imageboot.install b/grub-imageboot.install new file mode 100644 index 000000000000..a1ac38887004 --- /dev/null +++ b/grub-imageboot.install @@ -0,0 +1,24 @@ +post_install() { + cp /usr/lib/syslinux/bios/memdisk /boot/ + + echo "------------------------------------------------------------" + echo "> Place live iso images you want to boot in /boot/images/" + echo "> To have them added to grub automatically, run" + echo "> grub-mkconfig -o /boot/grub/grub.cfg" + echo "------------------------------------------------------------" +} + +post_upgrade() { + post_install +} + +post_remove() { + rm /boot/memdisk + grub-mkconfig -o /boot/grub/grub.cfg + + echo "------------------------------------------------------------" + echo "> You may want to remove your iso images in /boot/images/" + echo "------------------------------------------------------------" +} + +# vim:set ts=2 sw=2 et: |