From 048e477f1ade5d6922402fcde9ed3ef7c47d6b41 Mon Sep 17 00:00:00 2001
From: Bart Trojanowski <bart@jukie.net>
Date: Thu, 4 Mar 2010 20:29:34 -0500
Subject: [PATCH] add some scripts to change fonts and colours

---
 bin/set-bg-color  | 3 +++
 bin/set-fg-color  | 3 +++
 bin/set-font-size | 8 ++++++++
 3 files changed, 14 insertions(+)
 create mode 100755 bin/set-bg-color
 create mode 100755 bin/set-fg-color
 create mode 100755 bin/set-font-size

diff --git a/bin/set-bg-color b/bin/set-bg-color
new file mode 100755
index 0000000..7848bb3
--- /dev/null
+++ b/bin/set-bg-color
@@ -0,0 +1,3 @@
+#!/bin/bash
+color=$1
+echo -en "\033]39;$color\007"
diff --git a/bin/set-fg-color b/bin/set-fg-color
new file mode 100755
index 0000000..5739bbf
--- /dev/null
+++ b/bin/set-fg-color
@@ -0,0 +1,3 @@
+#!/bin/bash
+color=$1
+echo -en "\033]49;$color\007"
diff --git a/bin/set-font-size b/bin/set-font-size
new file mode 100755
index 0000000..c019f17
--- /dev/null
+++ b/bin/set-font-size
@@ -0,0 +1,8 @@
+#!/bin/zsh
+if [[ "$1" =~ '^[0-9]+$' ]] ; then
+        font="-*-terminus-*-r-normal-*-$1-*-*-*-*-*-*-1"
+else
+        font="#$1"
+fi
+set -x
+echo -en "\033]50;$font\007"