feat: use new bat

main
sgoudham 6 months ago
parent 922369a51d
commit c030b7ed22
Signed by: hammy
GPG Key ID: 44E818FD5457EEA4

@ -14,22 +14,22 @@ in {
themepkg = pkgs.fetchFromGitHub { themepkg = pkgs.fetchFromGitHub {
owner = "catppuccin"; owner = "catppuccin";
repo = "bat"; repo = "bat";
rev = "ba4d16880d63e656acced2b7d4e034e4a93f74b1"; rev = "main";
sha256 = "sha256-6WVKQErGdaqb++oaXnY3i6/GuH2FhTgK0v4TN4Y0Wbw="; sha256 = "sha256-PWX8LR3xTgNBUpk+xBIGpEBQCNJHre8cRX4OTSWkZvs=";
}; };
in { in {
enable = true; enable = true;
config.theme = "Catppuccin-latte"; config.theme = "Catppuccin Mocha";
themes = let themes = let
getTheme = flavour: "Catppuccin-${flavour}.tmTheme"; getTheme = flavour: "/themes/Catppuccin ${flavour}.tmTheme";
in { in {
Catppuccin-latte = { "Catppuccin Latte" = {
src = themepkg; src = themepkg;
file = getTheme "latte"; file = getTheme "Latte";
}; };
Catppuccin-mocha = { "Catppuccin Mocha" = {
src = themepkg; src = themepkg;
file = getTheme "mocha"; file = getTheme "Mocha";
}; };
}; };
}; };

Loading…
Cancel
Save