# 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'