Since my company’s product is based on ubuntu, we use apt to distribute upgrades. We don’t normally want customers to pull upgrades from the upstream distribution, so we’ve pruned back the main /etc/apt/sources.list to include just our server. We rename the original default sources.list so that it doesn’t get picked up. But sometimes I want [...]
Read the rest of this entry »
Every now and then I have to run a foreground job under sudo that doesn’t want to die when I hit ^C. Then it’s a hassle to ^Z, get the pid of the sudo job, and sudo kill that pid. So I wrote a little script (or a template for scripts) that runs the sudo [...]
Read the rest of this entry »
I recently found myself wanting to quickly figure out how far (both miles and driving time) it is to various destinations. At first I was keeping a Firefox tab open to Google Maps and kept keying in the address for the destination. Then I realized that I could make a “Quick Search” and get the [...]
Read the rest of this entry »
Just switched from Blogger to WordPress. Several links are broken (I will fix these soon), and it looks like subscribers are probably going to see a bunch of duplicate posts. Sorry about that…
Read the rest of this entry »
From The Peanut Gallery