linux-history.sh: git config user.name for bash-git-prompt