Setting default timezone on Raspbian

To set the timezone and ensure it persists through reboots, use a nice graphical interface as follows:

% sudo dpkg-reconfigure tzdata

and follow the prompts. Thanks to the Raspberry Pi Forums and DougieLawson.