I'm currently looking at wiring my shed with 12V DC for powering lights, couple of USB sockets etc nothing heavy, just more convenience. To charge the batteries I'm looking at a 20A charger (Input 230V AC 2.2A) via an extension lead (2.5mm² cable with commando plug on one end and 3 pin on the other ...
