Suppose you’ve written a long LaTeX document containing many many numbered formulas, like for example a scientific paper. Assuming that you have used AUCTeX’ fantastic macro completion it may well be the case that many of the numbered equations that you have entered are never referenced. How to get rid of the unused equation numbers? Unfortunately, emacs itself (i.e., reftex) does not seem to offer a remedy. So I came up with a little bash script that finds all labels, all references, matches them up to see which ones are not actually used and then deletes those from your tex... Read more.

This is a University of Melbourne internal thing, probably not even relevant for anyone outside EEE.

If you are at home/overseas and want to update your webpage, then you have to use the VPN and mount the Samba share containing your personal web page. From my own experience, especially this last step is tedious, involves a lot of mouse usage and generally can take quite long if your connection isn’t too fantastic. Especially so if you do update frequently. So is there a quicker way? Yes, there is: I use the following script to publish one file, say index.html automatically,... Read more.

Proxies for MacOS X are to be configured in the network preferences, individually for each network interface. Sometimes, that’s not what you want, and Authoxy or FoxyProxy can be great tools. FoxyProxy in particular lets you switch between different proxies for Firefox, and also lets you turn them on and off easily or even automatically by certain URL patterns. Wouldn’t it be great to do similar things also for other programs, or, say Safari?

Using a little scripting, that’s indeed quite simple. For me, it is sufficient to turn on and off a proxy located in another country,... Read more.