Fix up GREP_COLORS.

This commit is contained in:
David Tomaschik
2018-03-11 16:21:43 -07:00
parent d392eb8dfc
commit 9c3ad64036
2 changed files with 5 additions and 1 deletions

View File

@@ -1,4 +1,8 @@
# Always load ENV # Always load ENV
test -f "$HOME/.env" && . "$HOME/.env" test -f "$HOME/.env" && . "$HOME/.env"
# Setup GREP_COLORS
export GREP_COLOR='01;31'
export GREP_COLORS='mt=01;31:mc=01;31:ms=01;31'
test -f "${HOME}/.profile.local" && . "${HOME}/.profile.local" test -f "${HOME}/.profile.local" && . "${HOME}/.profile.local"

View File

@@ -34,7 +34,7 @@ if [[ -s "${ZDOTDIR:-$HOME}/.zprezto/init.zsh" ]]; then
fi fi
# .profile is universal # .profile is universal
# but after oh-my-zsh to use anything setup there # but after zprezto to use/override anything setup there
. ~/.profile . ~/.profile
# Deduplicate the path # Deduplicate the path
typeset -U path typeset -U path