diff --git a/contrib/liveusb/update_boot.sh b/contrib/liveusb/update_boot.sh new file mode 100755 index 000000000..f0c87ca0e --- /dev/null +++ b/contrib/liveusb/update_boot.sh @@ -0,0 +1,24 @@ +#!/bin/sh + +# author: Christian Berendt + +set -x + +for kernel in $(find /boot/vmlinuz*); do + version=$(basename $kernel) + version=${version#*-} + if [ ! -e /boot/initramfs-$version.img ]; then + sudo /usr/bin/dracut /boot/initramfs-$version.img $version + fi +done + +for image in $(find /boot/initramfs*); do + version=${image%.img} + version=${version#*initramfs-} + if [ ! -e /boot/vmlinuz-$version ]; then + sudo rm $image + fi +done + +/usr/sbin/grub2-mkconfig -o /boot/grub2/grub.cfg +