From 8eba461ef0c8810629a4628be881ee7fa52cba08 Mon Sep 17 00:00:00 2001
From: Magnus Woldrich <magnus.woldrich@gmail.com>
Date: Sun, 4 Feb 2024 14:20:42 +0100
Subject: [PATCH] font-argv: initial

---
 font-argv | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 font-argv

diff --git a/font-argv b/font-argv
new file mode 100755
index 0000000..a171cb3
--- /dev/null
+++ b/font-argv
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+font=$1
+
+printf "\033]710;%s\007" "$font:antialias=none:hinting=none"
+printf "\033]711;%s\007" "$font:antialias=none:hinting=none"
+printf "\033]712;%s\007" "$font:antialias=none:hinting=none"
+printf "\033]713;%s\007" "$font:antialias=none:hinting=none"
+