speeding up zsh

This commit is contained in:
Ivan Dimitrov 2023-07-03 14:53:10 +03:00
parent efc1185e4d
commit b764ea5e8b

View File

@ -37,7 +37,7 @@
time.timeZone = "Europe/Sofia"; time.timeZone = "Europe/Sofia";
fonts.fonts = with pkgs; [ nerdfonts ]; fonts.fonts = with pkgs; [nerdfonts];
environment = { environment = {
systemPackages = with pkgs; [ systemPackages = with pkgs; [
@ -159,21 +159,26 @@
}; };
zsh = { zsh = {
enable = true; enable = true;
zplug = { enableSyntaxHighlighting = true;
enable = true; enableAutosuggestions = true;
completionInit = '''';
history = {
size = 1000;
save = 1000;
expireDuplicatesFirst = true;
};
plugins = [ plugins = [
{name = "jeffreytse/zsh-vi-mode";}
{ {
name = "romkatv/powerlevel10k"; name = "zsh-autoenv";
tags = [as:theme depth:1]; src = "${pkgs.zsh-autoenv}/share/zsh-autoenv";
file = "autoenv.plugin.zsh";
} }
{name = "zsh-users/zsh-autosuggestions";}
{ {
name = "zsh-users/zsh-syntax-highlighting"; name = "zsh-powerlevel10k";
tags = [defer:2]; src = "${pkgs.zsh-powerlevel10k}/share/zsh-powerlevel10k";
file = "powerlevel10k.zsh-theme";
} }
]; ];
};
initExtra = '' initExtra = ''
source "$HOME/.p10k.zsh" source "$HOME/.p10k.zsh"
''; '';