From fdfbe202cd29551cebff8784da9bc318540a3c37 Mon Sep 17 00:00:00 2001 From: Ryan Yin Date: Tue, 12 Nov 2024 21:20:36 +0800 Subject: [PATCH] chore(kitty): update deprecated option --- home/base/gui/terminal/kitty.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/base/gui/terminal/kitty.nix b/home/base/gui/terminal/kitty.nix index 0ea34265..fe7168ef 100644 --- a/home/base/gui/terminal/kitty.nix +++ b/home/base/gui/terminal/kitty.nix @@ -19,7 +19,7 @@ # kitty has catppuccin theme built-in, # all the built-in themes are packaged into an extra package named `kitty-themes` # and it's installed by home-manager if `theme` is specified. - theme = "Catppuccin-Mocha"; + themeFile = "Catppuccin-Mocha"; font = { name = "JetBrainsMono Nerd Font"; # use different font size on macOS