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