From cbd56841b7ebf1b1bd2256abcc5e6d577b27d51b Mon Sep 17 00:00:00 2001
From: Vincent Bernat <bernat@luffy.cx>
Date: Wed, 23 Jan 2013 08:37:33 +0100
Subject: [PATCH] xsession: remove gnome-terminal configuration

If I need it, it will be in git history.
---
 xsession | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/xsession b/xsession
index 699e561..aff08c0 100644
--- a/xsession
+++ b/xsession
@@ -26,24 +26,4 @@ export _JAVA_AWT_WM_NONREPARENTING=1
 [ -x /usr/sbin/rfkill ] && rfkill block all 2> /dev/null
 [ -x /usr/bin/xbacklight ] && xbacklight = 60 2> /dev/null
 
-# Configure gnome-terminal
-gnoterm() {
-    gconftool-2 --type $1 --set /apps/gnome-terminal/profiles/Default/$2 $3
-}
-gnoterm int    scrollback_lines      5000
-gnoterm bool   scroll_on_output      false
-gnoterm bool   scroll_on_keystroke   true
-gnoterm bool   default_show_menubar  false
-gnoterm string cursor_blink_mode     on
-gnoterm bool   use_system_font       false
-gnoterm string font                  "DejaVu Sans Mono 8"
-gnoterm bool   use_theme_colors      false
-gnoterm float  background_darkness   0.92
-gnoterm string background_type       transparent
-gnoterm string foreground_color      "#FFFFFF"
-gnoterm string background_color      "#000000"
-gnoterm string palette \
-    $(sed -n 's/^.color\([0-9]*\): /\1/p' ~/.Xresources | sort -n | \
-      awk '{print $2}' | tr '\n' ':' | sed 's/:$//')
-
 exec awesome