Tried overwriting the sd card with an existing copy of noobs but that didn't do the job either, so downloading new recommended operating system and trying again there. Just get nothing out from the hdmi. I know I had turned this off previously, but that's only a software setting so should be there. Also before trying that the pi did not appear on the network either. Fingers crossed...
UPDATE: still not working, hope I did not get a duff one. Will have to try again with a different hdmi lead and a different sd card.
Paul Clarke's blog - I live in A small town, Kent. Married + dad to two, I am a full-stack web developr, and I do js / nodejs, some ruby, python, php ect ect. I like pubbing, parkrun, eating, home automation and other diy stuff, history, genealogy, TV, squirrels, pirates, lego, + TIME TRAVEL.