Colin Watson wrote:
> > Right, but where do I see if it's an .udeb? Where is that information?
> > The Sources and Packages files don't contain the extension.
>
> (a) They do, it's in Filename:;
> (b) .udebs are in main/debian-installer/binary-*/Packages rather than
> main/binary-*/Packages.
My script is now updated:
if ($filename{$pkg} =~ /\.udeb/ and
$email{$pkg} =~ /debian-boot\@/)
{
$output .= "<li>$name is an .udeb from the Debian Installer Team, which are
not automatically propagated to testing at this time.";
}
--
Björn
