diff options
author | tv <tv@krebsco.de> | 2023-01-29 13:36:27 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2023-01-29 13:36:31 +0100 |
commit | 8e019e0111ed73c4f49007fa00c5ecc8c5c46f28 (patch) | |
tree | c229d2a3a63a77d99448e437ce155e2a476e089b | |
parent | 30c7470664da9dc15bdc280487c9e03105708164 (diff) |
tv font-size-alacritty: min_size=5
-rw-r--r-- | tv/5pkgs/simple/font-size-alacritty.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/5pkgs/simple/font-size-alacritty.nix b/tv/5pkgs/simple/font-size-alacritty.nix index 84bc3f616..d37f0f055 100644 --- a/tv/5pkgs/simple/font-size-alacritty.nix +++ b/tv/5pkgs/simple/font-size-alacritty.nix @@ -6,7 +6,7 @@ pkgs.writeDashBin "font-size-alacritty" '' set -efu - min_size=8 + min_size=5 op=''${1%%[0-9]*} op=''${op:-=} |