diff options
author | tv <tv@krebsco.de> | 2018-04-17 20:17:29 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-04-17 20:17:29 +0200 |
commit | 83b1a961849d5e507985784846cf5b7082464da6 (patch) | |
tree | 1be7abb247a9a7d16c3a440ef97c6b74340225bd /tv/5pkgs/simple | |
parent | 8fd844e547271cad90c7b55d320783be2ce9ccea (diff) |
font-size: init from tv
Diffstat (limited to 'tv/5pkgs/simple')
-rw-r--r-- | tv/5pkgs/simple/font-size.nix | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/tv/5pkgs/simple/font-size.nix b/tv/5pkgs/simple/font-size.nix deleted file mode 100644 index 21097ed..0000000 --- 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 -'' |