Files left by the rpm package manager should be considered garbage
PATCH 1/1 Files left by the rpm package manager should be considered garbage
Files left by the rpm package manager should be considered garbage too.
Especially *.rpmnew and *.rpmsave could cause unexpected behaviour in /etc/grub.d .
2012-04-05 Mads Kiilerich <[email protected]>
* grub-mkconfig_lib.in: ignore *.rpm*.
=== modified file 'util/grub-mkconfig_lib.in'
grub-mkconfig_lib.in +1 -0
@@ -177,6 +177,7 @@ if test -f "$1" ; then case "$1" in *.dpkg-*) return 1 ;; # debian dpkg + *.rpm*) return 1 ;; README*|*/README*) return 1 ;; # documentation esac else
Quoted 5 lines · Mads Kiilerich
Files left by the rpm package manager should be considered garbage too.
Especially *.rpmnew and *.rpmsave could cause unexpected behaviour in
/etc/grub.d.
Could you restrict to those as it's not uncommon to have ".rpm" in extra_version
Quoted 10 lines
2012-04-05 Mads Kiilerich <[email protected]>
* grub-mkconfig_lib.in: ignore *.rpm*.
_______________________________________________
Grub-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/grub-devel
Signature · 2 lines
Regards Vladimir 'φ-coder/phcoder' Serbinenko