Fix path to Kitty theme files (#3764)

The theme files were moved to `share/kitty-themes` in this nixpkgs
commit:

  3e29ae4159
This commit is contained in:
Olli Helenius 2023-03-13 15:37:26 +02:00 committed by GitHub
parent 46f637bd80
commit 7fe539dfbb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -134,9 +134,10 @@ in {
'')
(optionalString (cfg.theme != null) ''
include ${pkgs.kitty-themes}/${
include ${pkgs.kitty-themes}/share/kitty-themes/${
(head (filter (x: x.name == cfg.theme) (builtins.fromJSON
(builtins.readFile "${pkgs.kitty-themes}/themes.json")))).file
(builtins.readFile
"${pkgs.kitty-themes}/share/kitty-themes/themes.json")))).file
}
'')
(toKittyConfig cfg.settings)