Merry Christmas, everybody!
Tesco seem to think it’s Christmas time, and who am I to argue with their judgement? My local branch now has half an aisle dedicated to seasonal fare like Christmas puddings and mince pies. They should put up a sign: Hurry! Only 92 shopping days left until Christmas!
Telling SSH your account name
Here’s a handy SSH hint for when your remote account name is different to the local one. It isn’t an earth-shattering discovery: it’s something that I had done before, forgotten, and was just reminded of.