blob: ff96ea063c35f2f8095386d3b1d1e51a2d93a5d8 (
plain)
1
2
3
4
|
# The $HOME directory is the working directory for the bare dotfiles git repo.
# As such we can't use the git command in this directory if we want to work with the repo.
# Instead the dotfiles alias is used.
alias dotfiles='/usr/bin/git --git-dir=$HOME/.local/src/ --work-tree=$HOME'
|
