Idea: make $HOME the git work-tree, with a bare repo in a dummy folder (
The git commands use
.dotfiles as the git directory, and
$HOME as the work directory.
- create "bare" repository
- don't contain working tree aka copy of source files
- store git revision history in root folder of repo instead of
mkdir $HOME/.dotfiles git init --bare $HOME/.dotfiles