Hi Junichi, on Thu, Jun 05, 2008 at 07:33:51 +0900, you wrote:
> What would be contained in the comments? > > # manually ignored on DATE/TIME > > would require very little patching. > > > # manually ignored on DATE/TIME, #bug number, bug title > > would require some patching around, but more friendly. My original idea was that it would just be the same as the automatic ones get, having the fact that it was manually ignored in there might of course be useful. (Having manually ignored bugs go to /etc/apt/listbugs/ignore_bugs and the automatic ones to /var/lib/apt-listbugs/ignore_bugs might also be an idea). The bugnumer is redundand info, its in the actual ignore line anyway, the package and the description would be most important to me, as those tell me the most about the bug quickly/enable me to remember and recognise the bug. Date/time I don't care. elmar -- .'"`. /"\ | :' : Elmar Hoffmann <[EMAIL PROTECTED]> ASCII Ribbon Campaign \ / `. `' GPG key available via pgp.net against HTML email X `- & vCards / \ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]