EXP!: possible consolidation of powerline10k

This commit is contained in:
Nickiel12 2022-10-11 13:24:33 -07:00 committed by GitHub
parent dac53bc3e9
commit a7bcfae0aa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,6 +4,10 @@ let
in in
{ {
home.packages = with.pkgs; [
zsh-powerlevel10k
];
programs.zsh = { programs.zsh = {
enable = true; # technically also enabled in user shell enable = true; # technically also enabled in user shell
@ -13,11 +17,6 @@ in
neofetch neofetch
''; '';
initExtra = ''
[[ ! -f ~/.p10k.zsh ]] || source ~/.p10k.zsh
'';
autocd = true; autocd = true;
history = { history = {
@ -31,7 +30,6 @@ in
{ {
name = "powerline10k"; name = "powerline10k";
src = pkgs.zsh-powerlevel10k; src = pkgs.zsh-powerlevel10k;
file = "share/zsh-powerlevel10k/powerlevel10k.zsh-theme";
} }
]; ];
}; };