Dumb question, how do I set the IP address, netmask, gateway, and dns host on Debian? The docs say that I should edit a file named 'network' but I don't find any such file. Robin rower@movieeditor.com