From df52ac82d4a0f1a5670cc01eda63d6d351ae78e4 Mon Sep 17 00:00:00 2001
From: Barak Michener <me@barakmich.com>
Date: Fri, 26 Apr 2013 10:10:54 -0400
Subject: [PATCH] make terminator an optional default

---
 bin/run_terminal | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bin/run_terminal b/bin/run_terminal
index 803ab4a..5806acf 100755
--- a/bin/run_terminal
+++ b/bin/run_terminal
@@ -1,6 +1,8 @@
 #!/bin/bash
 
-if [ -n "`which gnome-terminal`" ]; then
+if [ -n "`which terminator`" ]; then
+  terminator
+elif [ -n "`which gnome-terminal`" ]; then
   gnome-terminal
 elif [ -n "`which urxvt`" ]; then
   urxvt