Like an idiot I accidentally overwrote a file for this blog when uploading some other stuff; accidents happen. Anyway, I have backups (you do have backups right?) and I needed to grab a single file out of the latest tar. Fortunately this is really straight forward and rather than unpacking…
I found this neat construct in the gnu bash reference. Select is a great way to be able to present a list of options to a user in a shell script. Take the example given in the reference: select fname in *; do echo you picked $fname \($REPLY\) break; done This…
I'm re-writing a piece of code to print into columns within a terminal and I wanted to join the nth items of each list together. Zip allows you to do just that >>> my_list=[[1,2,3],[4,5,6],[7,8,9,10]] >>>…
There's an issue with Bazaar caused by case-insensitive file systems (technically case preserving). When you add a file/directory called "foo" when "Foo" is already versioned, Bazaar will do exactly as it's told and while start to version Foo. Now the problems start because to a…
Ed and I have been busy putting the final touches on our CSS Sprite creation tool which is now available over at http://spritegen.website-performance.org For the uninitiated, a CSS Sprite is a single image file which contains several graphics. Using CSS background positions it's possible to display any…
I'm working on a project where we are using Bazaar downstream of CVS and we have several common Bazaar branches for keeping up to date with CVS. The problem with this is that you can be in the first directory of the branch who's name is exactly the same another…
Amazon.com are now offering DRM free MP3 Downloads, you can buy a single track or whole albums and prices range from $0.99 per track and from $5.99 per album. This is really great to see and I really hope Apple feels the pressure from the competition. Via…
Having spent a fair while working in and around Soho, London, I thought it was time to share my thoughts on the coffee shops that I've been to in and around the office as well as the places you can buy beans from. Let's face it if you're a geek…
