A set of my common settings on linux machines