Arent there lots of boring electrical regulations now around this kind of thing?
Yep. If it’s a permanent connection it is subject to Part P of the building regs requiring it to be signed off. If it’s an extension lead, then no. (I know, no logic.).
If I were doing it properly, I’d run a dedicated circuit from the consumer unit, not RCD protected if possible, via suitably sized armoured cable (for voltage drop and expected load) to the shed. Put in a garage consumer unit at the shed with RCD protection and mcbs for sockets and lights.
Armoured cable should be 600mm deep with “danger electrical cable” warning tape a few centimeters above it.
Is there structural steel/copper water pipes in the shed? Depending on the earthing system you may want to fit an earth rod.
If you’re doing it on the cheap, run an extension lead underground in plastic conduit buried 600mm or so. Again, use electrical tape to mark the route. 13a plug in a waterproof external socket on the side of the
building.
Want a compromise? Run armoured cable to the shed, suitably sized. Gland off in an adaptable box at the side of the house by the external socket. Connect via 13A plug to adaptable box. Put garage consumer unit in shed. Better than the cheap option in that it future proofs the bit which is expensive and disruptive ie digging up the lawn to replace the cable. Using the external socket, probably run off the house ring circuit, will run the risk of tripping the house RCD in a fault situation. You’ll also only have 13A of supply power but that’s probably ok if it’s a small shed.
In summary, loads of ways. Happy to advise if you want more info.
Rich.