On 05.04.2012 02:46, Mads Kiilerich wrote:
> 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
>
> 2012-04-05  Mads Kiilerich <mads@kiilerich.com>
>
>         * grub-mkconfig_lib.in: ignore *.rpm*.
>
>
> _______________________________________________
> Grub-devel mailing list
> Grub-devel@gnu.org
> https://lists.gnu.org/mailman/listinfo/grub-devel


-- 
Regards
Vladimir 'φ-coder/phcoder' Serbinenko