Hmm, the network port's lights show it knows it's got a cable plugged in and trying the netbook with the same cable and mains networking plug works, but it's affecting both Linux and (in a rare boot into it) Windows on the PC. It can't see any of the network, so it's a problem with the PC's hardware. Rebooting, turning the network port off, rebooting, turning it on, rebooting doesn't work either.
Fortunately, I have a USB-ethernet dongle lying around - I'm using it to write this - but I've still no idea why the built-in ethernet stopped working. It was working this afternoon for me and earlier in the evening for her...
Anyone got a PCI network card lying around they don't need?
This entry was originally posted at http://lovingboth.dreamwidth.org/531938.html, because despite having a permanent account, I have had enough of LJ's current owners trying to be evil. Please comment there using OpenID - have and if you have an LJ account, you can use it for your OpenID account. Or just join Dreamwidth! It only took a couple of minutes to copy all my entries here to there.