From 554026a7796e59fcbc82fa44c11636e56a25a9f2 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 17 Apr 2018 20:17:29 +0200
Subject: font-size: init from tv

---
 tv/5pkgs/simple/font-size.nix | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 tv/5pkgs/simple/font-size.nix

(limited to 'tv')

diff --git a/tv/5pkgs/simple/font-size.nix b/tv/5pkgs/simple/font-size.nix
deleted file mode 100644
index 21097ed6..00000000
--- a/tv/5pkgs/simple/font-size.nix
+++ /dev/null
@@ -1,26 +0,0 @@
-{ writeDashBin }:
-writeDashBin "font-size" ''
-  set -efu
-
-  # set_font NORMAL_FONT BOLD_FONT
-  set_font() {
-    printf '\033]710;%s\007' "$1"
-    printf '\033]711;%s\007' "$2"
-  }
-
-  case ''${1-} in
-    '''|0|--reset)
-      set_font \
-          -*-clean-*-*-*-*-*-*-*-*-*-*-iso10646-1 \
-          -*-clean-*-*-*-*-*-*-*-*-*-*-iso10646-1 \
-      ;;
-    [1-9]|[1-9][0-9]|[1-9][0-9][0-9])
-      set_font \
-          xft:Monospace:size=$1 \
-          xft:Monospace:size=$1:bold \
-      ;;
-    *)
-      echo "$0: bad argument: $1" >&2
-      exit 1
-  esac
-''
-- 
cgit v1.2.3