1
0
mirror of https://github.com/meineerde/dotfiles.git synced 2025-10-17 19:41:01 +00:00

Fix file check for simultaneous starts of terminal windows

This commit is contained in:
Holger Just 2010-08-30 11:48:08 +02:00
parent 30e0ad240e
commit 6cf62dc94e

View File

@ -67,7 +67,7 @@ fi
USER_NAME="Holger Just"
USER_EMAIL="web@meine-er.de"
# Setting up git.
if [ -f ~/.gitconfig ]; then
if [[ -f ~/.gitconfig ]]; then
if [ "$(git config --global user.name)" != "$USER_NAME" ]; then
echo "WARNING: git's user.name is $(git config --global user.name)"
fi