Notes about things

Setting up my machine

I have a Linux box, running the GNU tools. Several things have been set up specifically for me: