This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues/pull-requests.
2023-07-06 19:32:19 +00:00
|
|
|
{pkgs, ...}: {
|
2023-06-28 20:48:01 +00:00
|
|
|
programs.bat = {
|
|
|
|
|
enable = true;
|
2023-07-06 19:32:19 +00:00
|
|
|
config = {theme = "ctp-mocha";};
|
2023-06-28 20:48:01 +00:00
|
|
|
themes = {
|
2023-10-20 02:28:21 +00:00
|
|
|
ctp-mocha = {
|
|
|
|
|
src = pkgs.fetchFromGitHub {
|
2023-07-06 19:32:19 +00:00
|
|
|
owner = "catppuccin";
|
|
|
|
|
repo = "bat";
|
|
|
|
|
rev = "ba4d16880d63e656acced2b7d4e034e4a93f74b1";
|
|
|
|
|
sha256 = "1g2r6j33f4zys853i1c5gnwcdbwb6xv5w6pazfdslxf69904lrg9";
|
2023-10-20 02:28:21 +00:00
|
|
|
};
|
|
|
|
|
file = "Catppuccin-mocha.tmTheme";
|
|
|
|
|
};
|
2023-06-28 20:48:01 +00:00
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
}
|
