diff options
| author | jeschli <jeschli@gmail.com> | 2018-04-17 20:30:45 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-04-17 20:30:45 +0200 |
| commit | 082ddf4efea6cf20522d645c3b2b6c0f06bd088c (patch) | |
| tree | b984ff057ffdb4817c2f4e8553667c03fc00656f /tv | |
| parent | 063b3e6e0a32773d006ff39c2bebd2ee9847c910 (diff) | |
| parent | 83b1a961849d5e507985784846cf5b7082464da6 (diff) | |
Merge remote-tracking branch 'ni/master'
Diffstat (limited to 'tv')
| -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 -'' |