From 59e5f5ad799e74ce5282fa90c6a6cef7934ea6c4 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Thu, 12 Nov 2015 16:15:12 -0800
Subject: [PATCH] Fix up TERM for gnome-terminal.  Ugly hack.

---
 dotfiles/profile | 5 +++++
 1 file changed, 5 insertions(+)

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`