* [PATCH] Files left by the rpm package manager should be considered garbage
@ 2012-04-05 0:46 Mads Kiilerich
2012-04-05 1:42 ` Vladimir 'φ-coder/phcoder' Serbinenko
0 siblings, 1 reply; 2+ messages in thread
From: Mads Kiilerich @ 2012-04-05 0:46 UTC (permalink / raw)
To: The development of GNU GRUB
[-- Attachment #1: Type: text/plain, Size: 257 bytes --]
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 <mads@kiilerich.com>
* grub-mkconfig_lib.in: ignore *.rpm*.
[-- Attachment #2: rpm-garbage.patch --]
[-- Type: text/x-patch, Size: 365 bytes --]
=== 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
+ *.rpm*) return 1 ;;
README*|*/README*) return 1 ;; # documentation
esac
else
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-04-05 1:43 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-04-05 0:46 [PATCH] Files left by the rpm package manager should be considered garbage Mads Kiilerich
2012-04-05 1:42 ` Vladimir 'φ-coder/phcoder' Serbinenko
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.