diff options
Diffstat (limited to '.bash_profile')
| -rw-r--r-- | .bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash_profile b/.bash_profile index 45dced1..1517c18 100644 --- a/.bash_profile +++ b/.bash_profile @@ -7,6 +7,7 @@ export IGNOREEOF=42 # Ignore Ctrl+D logout terminal session export HISTCONTROL=erasedups # remove consecutive history entries export EDITOR='vim' # Default editor export TERM="xterm-256color" +export GREP_OPTIONS="--color=auto" export HOMEBREW_GITHUB_API_TOKEN="19cbee6c4c8d53094849d8c08042f686718fedde" export PS1="[a14m] \W \$ " export LC_ALL=en_US.UTF-8 @@ -24,7 +25,6 @@ fi alias wttr='curl http://wttr.in/berlin' alias la='ls -a' alias srv="npx http-server" # start simple server -alias grep='grep --color=auto' # enable coloring all the time alias tagme='ctags -R --languages=ruby --exclude=.git --exclude=log . $(bundle list --paths)' alias skipci='git commit --allow-empty -m "--skip-ci"' alias rgpg='pkill pinentry-tty; gpg-connect-agent updatestartuptty /bye' |