blob: 7fe60e44199ad0d5926fda48c728b452263cc452 (
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/dotfiles --work-tree=$HOME'
|
