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 | 554026a7796e59fcbc82fa44c11636e56a25a9f2 (patch) | |
tree | 7ab802be730f604e7d4976a507e3701b9e18e455 /tv/5pkgs | |
parent | 8d48d325afee416b67721cf64bf1b443fb84fd92 (diff) |
font-size: init from tv
Diffstat (limited to 'tv/5pkgs')
-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 21097ed6a..000000000 --- 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 -'' |