add bat theme

This commit is contained in:
Aditya 2023-07-10 17:36:57 +05:30
parent 933483f42e
commit 5f35f2f7b7
Signed by: aditya
SSH key fingerprint: SHA256:jL1IvWsjjlPtw6HvDIHfXfhO9IkIokNEyIfuFhSdoyU

View file

@ -55,7 +55,7 @@
# echo "Hello, ${config.home.username}!" # echo "Hello, ${config.home.username}!"
# '') # '')
xsel wget neofetch htop oh-my-zsh git chromium plasma5Packages.qtstyleplugin-kvantum kdeconnect xsel wget neofetch htop oh-my-zsh git chromium plasma5Packages.qtstyleplugin-kvantum kdeconnect
bat microsoft-edge vivaldi vivaldi-ffmpeg-codecs x264 joypixels rustc cargo unzip ocs-url microsoft-edge vivaldi vivaldi-ffmpeg-codecs x264 joypixels rustc cargo unzip ocs-url
nextcloud-client duf foliate mpv obsidian dino aria2 bitwarden kitty-themes p7zip nextcloud-client duf foliate mpv obsidian dino aria2 bitwarden kitty-themes p7zip
tdesktop libreoffice-fresh jetbrains-mono yakuake krita filelight inkscape yt-dlp ranger tdesktop libreoffice-fresh jetbrains-mono yakuake krita filelight inkscape yt-dlp ranger
libsForQt5.kwallet libsForQt5.kwallet-pam libsForQt5.kwalletmanager libsForQt5.ksshaskpass libsForQt5.kwallet libsForQt5.kwallet-pam libsForQt5.kwalletmanager libsForQt5.ksshaskpass
@ -167,6 +167,13 @@
]); ]);
}; };
programs.bat = {
enable = true;
config = {
theme = "ansi";
};
};
# Home Manager is pretty good at managing dotfiles. The primary way to manage # Home Manager is pretty good at managing dotfiles. The primary way to manage
# plain files is through 'home.file'. # plain files is through 'home.file'.