In-reply-to: <[email protected]> > Download the latest release of Raspbian from > https://www.raspberrypi.org/downloads/ then dd it onto your 32GB sd card, > and boot the Pi; one of the first thing it will offer you in the setup is > to resize the partition, so as to use the whole of the SD card. > > Cheers,
That's even better. Many thanks. I'm waiting for a serial console cable, anyway so this works out quite well. Martin
