Configuration settings for my workspace. Adapted from ajprax/config.