My configuration files, useful for whenever I install Debian on a new system