I use tmux quite heavily on my server now. I like it so much, in fact, that I have my shell configured to connect to (or start) a session as soon as I log in. So, however I log in (at the console, in a terminal emulator, via SSH), I … Continue reading
TWRP is a recovery image for Android devices. That is, it’s a tiny, self-contained operating system that you can boot to (often, by holding a button while booting the device) and perform operations such as backups, restores and installation of other images. One nice feature of TWRP is that it’s … Continue reading
So, by mistake, I installed some of the servers at work without a graphical desktop. Now, the easy thing would have been to re-install from the DVD (and this is generally what I did), but for one of them, I’d see if I could actually install and configure the necessary … Continue reading
As I mentioned earlier, I have a small (embedded style) computer that I want to use for some monitoring. My suspicion is that the SSD that’s fixed into it is causing problems, so I want to be able to boot the computer diskless (that is, I want to load the … Continue reading
Well, I’ve managed to knock down one of the tasks that’s been on my “TODO” list for a while, thanks to finding someone building PDNS debs from git. Background I live with another geek. When we moved in together, both of us had our own domains, with DHCP servers giving … Continue reading
We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil. — Donald Knuth As part of updating my WordPress Installation for the arrival of https://paulsaunders.org.uk, I decided I’d need to add some caching in order to cope with the extra … Continue reading
IRSSI is my IRC client of choice. It’s wonderfully configurable and the interface is clean and accessible. One of the other things I’ve been playing with recently is the Powerline system of prompts. Powerline uses a clever combination of colours and a special chevron character Continue reading
Some of you may have noticed that the blog’s been a little quiet lately. Partly that’s down to the day job turning a bit more physical (less time sat at a keyboard, more time stood in front of / behind a rack); partly that’s down to me having an idea … Continue reading
Inspired by some examples on the Tasker Wiki, I decided it’d be nice to make my new Android phone speak the weather to me in the morning. The current examples, while great demonstrations of the power of Tasker, didn’t seem quite right to me. The language produced by chopping up … Continue reading
One of the issues of moving to a Multisite WordPress setup was managing the robots.txt and sitemap.xml files. robots.txt is a text file that lives at the root of a website (so, in my case, at http://paulsaunders.org.uk/robots.txt); search engines are supposed to read that as the first stage of crawling … Continue reading
