No, /etc/networks just associates a name with a network (base) address, so what you did is the right thing -- there's no reason to specify a netmask there.
You just have to specify netmasks in the ifconfig and route commands (maybe other places too?), which are (in debian) in the /etc/init.d/network script. Apologies if I misunderstood your comment/question... Hamish Moffatt wrote: > > Unfortunately I can't figure /etc/networks out. I can't work out how > to specify the netmask (is it possible?). I have two networks, > 203.14.18.0/25 and 203.14.18.128/25; the .0 network name works fine > of course, but the .128 one does not. > > localnet 203.63.216.16 > hamishnet 203.14.18.0 > peternet 203.14.18.128 > > Hamish