Comment 1 for bug 1732095

I can't reproduce the problem. It works well on a fresh install of ubuntu 17.10.

Do you have some shell programming skills? Then try to debug /etc/grub.d/05_debian_theme (but don't run it directly, always use grub-mkconfig or update-grub).