Bug#340919: hw-detect: /etc/network/devnames.gz accessed as regular file

[Frans Pop <aragorn@tiscali.nl>]

On Sunday 27 November 2005 11:41, you wrote:
> No, /etc/network/devnames.gz and /etc/network/devnames are used for
> different purposes; the former is an input file with a static mapping
> of module names to human-readable names, while the latter is an output
> file later used by netcfg. (Some human-readable names come from other
> sources than the static mapping file.)

Ah, OK.
There's still a minor bug then somewhere as I got an error from 
grep /etc/network/devnames (no such file) in a log yesterday.