use http to get the dotfiles