dotfiles for Ubuntu installation (see: git@github.com:pierre752/UbuntuSetup.git)