1 diff -ur grub-2.04.orig/util/grub-mkconfig_lib.in grub-2.04/util/grub-mkconfig_lib.in
2 --- grub-2.04.orig/util/grub-mkconfig_lib.in 2019-08-18 15:53:18.700000000 +0200
3 +++ grub-2.04/util/grub-mkconfig_lib.in 2019-08-18 15:53:29.906000000 +0200
6 grub_file_is_not_garbage ()
8 + if test -L "$1" ; then
11 if test -f "$1" ; then
13 *.dpkg-*) return 1 ;; # debian dpkg