dotfiles to use on various linux servers