Compare commits

..

No commits in common. "fd56f85096df60918c775a03cec11c2402061544" and "2e47069bd16eef0724ecc6c93b82ae0d9fe728a7" have entirely different histories.

2 changed files with 15 additions and 11 deletions

View file

@ -1,14 +1,7 @@
{ config, pkgs, ... }:
{
home-manager = {
users.toast.programs.bat = {
enable = true;
config = {
theme = "catppuccin-mocha";
};
themes = {
catppuccin-mocha = {
let
# Home manager on 23.05 doesn't understand the new format, so I'll use the old one until 23.11 becomes stable
newformat = {
src = pkgs.fetchFromGitHub {
owner = "catppuccin";
repo = "bat";
@ -17,6 +10,17 @@
};
file = "Catppuccin-mocha.tmTheme";
};
oldformat = builtins.readFile (newformat.src + "/${newformat.file}");
in
{
home-manager = {
users.toast.programs.bat = {
enable = true;
config = {
theme = "catppuccin-mocha";
};
themes = {
catppuccin-mocha = oldformat;
};
};
};

View file

@ -9,7 +9,7 @@
users.users.toast.extraGroups = [ "scanner" ];
# Set up fonts
fonts.packages = [
fonts.fonts = [
( pkgs.nerdfonts.override { fonts = [ "Hack" "JetBrainsMono" ]; } )
];