5 posts were split to a new topic: Grub do not generate boot entry for Archlinux after changing theme