Install Dotfiles as a bare git repo

When I first heard about using a bare git repo for dotfiles in ~HOME I ran away in terror. But now that I'm more familiar with the git command line I'm thinking that this is actually a much nicer way to deal with dotfiles-in-$HOME than using symlinks.

It requires using some weird options in git to set an alternate working directory and bare repo. I believe that Ansible's git module does support them though:

git clone --bare https://gitlab.com/milohax-net/radix/dotfiles.git $HOME/etc/dotfiles

See the bare parameter

   /usr/bin/git --git-dir=$HOME/etc/dotfiles/ --work-tree=$HOME checkout

See the separate_git_dir parameter

If I'm right, then this would replace the dotfiles Task in Ansible.