2020-08-06 UTC
# 
[jeremycherfas] Thanks, all. In the end, after a bit of digging, I discovered that I didn’t need to do any more setting up if I just want to get notifications here on my own machine from the terminal. Turns out cron had been dutifully sending emails all along, and I just didn’t know where to look for them. So for now, all is good.