*.rpmnew and *.rpmsave files left by the rpm package manager should be
considered garbage too - especially when found in /etc/grub.d .
2012-04-06 Mads Kiilerich <m...@kiilerich.com>
* grub-mkconfig_lib.in: ignore *.rpmnew and *.rpmsave .
=== modified file 'util/grub-mkconfig_lib.in'
--- util/grub-mkconfig_lib.in 2012-03-19 15:27:59 +0000
+++ util/grub-mkconfig_lib.in 2012-04-03 13:12:01 +0000
@@ -177,6 +177,7 @@
if test -f "$1" ; then
case "$1" in
*.dpkg-*) return 1 ;; # debian dpkg
+ *.rpmsave|*.rpmnew) return 1 ;;
README*|*/README*) return 1 ;; # documentation
esac
else
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
