config

How I Manage The Configuration of My Environment

Like many people I have an automated scheme for setting up a new machine. My students have bugged me to write it up.