From 20a47f675677fdb031040ae708ad8e73c9faf7ed Mon Sep 17 00:00:00 2001 From: Pim Kunis Date: Mon, 23 Oct 2023 19:07:57 +0200 Subject: [PATCH] manage bat with home manager use gruvbox dark theme for bat closes #25 --- home-manager/bat/default.nix | 8 ++++++++ home-manager/default.nix | 1 + nixos/default.nix | 1 - 3 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 home-manager/bat/default.nix diff --git a/home-manager/bat/default.nix b/home-manager/bat/default.nix new file mode 100644 index 0000000..83c4e05 --- /dev/null +++ b/home-manager/bat/default.nix @@ -0,0 +1,8 @@ +{ + config = { + programs.bat = { + enable = true; + config.theme = "gruvbox-dark"; + }; + }; +} diff --git a/home-manager/default.nix b/home-manager/default.nix index 2adbf44..1bddf1b 100644 --- a/home-manager/default.nix +++ b/home-manager/default.nix @@ -13,6 +13,7 @@ ./direnv ./thunderbird ./fzf + ./bat ]; home = { diff --git a/nixos/default.nix b/nixos/default.nix index 67870f5..d2976b2 100644 --- a/nixos/default.nix +++ b/nixos/default.nix @@ -43,7 +43,6 @@ vim dogdns tree - bat ]; gnome.excludePackages = with pkgs; [ gnome.totem