For some reason (I didn't get beyond looking in the network settings and trying unplugging the Ethernet cable and plugging it back in again) Tony's PC hasn't got any network connectivity.
As a work-around I've plugged in a USB WiFi dongle, which has gotten it online (as long as the USB dongle is plugged in at the front!). Given how often USB things get unplugged to plug in flash drives and the like, it'd be good to get it back to using the Ethernet
For some reason (I didn't get beyond looking in the network settings and trying unplugging the Ethernet cable and plugging it back in again) Tony's PC hasn't got any network connectivity.
As a work-around I've plugged in a USB WiFi dongle, which has gotten it online (as long as the USB dongle is plugged in at the front!). Given how often USB things get unplugged to plug in flash drives and the like, it'd be good to get it back to using the Ethernet