How to configure network settings by hand in Ubuntu, for when things have gone wrong.…