Gitify the working tree.

[profile.git] / opt / bin / ufont

diff --git a/opt/bin/ufont b/opt/bin/ufont
new file mode 100755 (executable)
index 0000000..7d3e8b8
--- /dev/null
+++ b/opt/bin/ufont
@@ -0,0 +1,19 @@
+#!/bin/bash
+#
+# ufont: Change urxvt font.
+# Usage: ufont <size> [<font>]
+# Example: ufont 12
+# Example: ufont 11 "xft:DejaVu Sans Mono"
+#
+
+aspect=0.9
+size="$1"; shift
+font="${1:-xft:DejaVu Sans Mono}"
+if [ -z "$size" ]; then
+  echo >&2 "Usage: ufont <size> [<font>]"
+  exit 1
+fi
+
+escape="$font:pixelsize=$size:aspect=$aspect"
+echo -e "\033]710;$escape\007\033]711;$escap\007"
+exit $?