diff --git a/dotfiles/profile b/dotfiles/profile index b558310..6291e02 100644 --- a/dotfiles/profile +++ b/dotfiles/profile @@ -39,6 +39,11 @@ unset GPG_AGENT_INFO_PATH export GPG_TTY=`tty` # End GPG +# Fix gnome-terminal +if [[ $TERM == "xterm" && $COLORTERM == "gnome-terminal" ]] ; then + export TERM="xterm-256color" +fi + # dircolors eval `dircolors $HOME/.dircolors`