diff --git a/personal-gui/wm/terminal/default.nix b/personal-gui/wm/terminal/default.nix index b68b302..3271605 100644 --- a/personal-gui/wm/terminal/default.nix +++ b/personal-gui/wm/terminal/default.nix @@ -57,7 +57,7 @@ in { }; font = { size = mkOption { - type = types.int; + type = types.number; default = 12; description = "terminal font size"; };