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 | 47de73497c9c925da97c11b5cf4cbb381f337126 (patch) | |
tree | 1f9b1082cda23cb3ee5777b3e310e285805f75e8 | |
parent | 98da0d6d7aef04f13d8dcd05c7072cb13015ecac (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 84bc3f6..d37f0f0 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:-=} |