[20:16] <ibeardslee> morning
[20:43] <mwhudson> morning
[23:55] <olly> impressively, the help for how to add a PPA is wrong:
[23:55] <olly> sudo add-apt-repository ppa:user/ppa-name
[23:56] <olly> there's even a screenshot showing it working
[23:56] <olly> did that command get renamed?
[23:56] <olly> ah, both names work on ubuntu (trusty at least)