On Wed, May 16, 2007 at 10:42:28AM -0300, Otavio Salvador wrote: > Robert Millan <[EMAIL PROTECTED]> writes: > > > reassign 424223 grub2 > > merge 422708 424223 > > thanks > > > > On Tue, May 15, 2007 at 10:44:18PM +0100, Sam Morris wrote: > >> + *.dpkg-dist) ;; > >> + *.dpkg-old) ;; > > > > These ought to be skipped in other places, too. Maybe we should include a > > generic function for that in our shell library (when we have one, that is > > ;-)). > > Robert, do you like the initial idea I've proposed to have a generic > way to "include patterns" on the filter? If you does, I can try to > write a initial draft for it.
Sorry, but I really don't know. You could ask in grub-devel and see what they think. As for the shell library, I was thinking we could have a /usr/lib/grub/something where we put such things, that plugins can import. I wanted to discuss that with upstream too (will do when I have a minute..). -- Robert Millan My spam trap is [EMAIL PROTECTED] Note: this address is only intended for spam harvesters. Writing to it will get you added to my black list. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
