oh-my-zsh

This commit is contained in:
Daniel Langbein 2023-08-28 17:52:35 +02:00
parent 4e65df663e
commit 85fd6da7d9

View File

@ -34,6 +34,7 @@ in
# defaultCacheTtl = 1800; # defaultCacheTtl = 1800;
#}; #};
# TODO: See history.path below.
# xdg = { # xdg = {
# enable = true; # enable = true;
# #dataHome = "${config.xdg.home.homeDirectory}/.local/share"; # #dataHome = "${config.xdg.home.homeDirectory}/.local/share";
@ -46,9 +47,20 @@ in
#update = "sudo nixos-rebuild switch"; #update = "sudo nixos-rebuild switch";
}; };
history.size = 1000; history.size = 1000;
#history.path = "${config.xdg.dataHome}/.histfile"; history.ignoreDups = true;
#history.ignoreDups = true;
#history.ignoreAllDups = true; #history.ignoreAllDups = true;
# TODO:
# Currently, `config` is my NixOS config. However, I want to access Home Manager's `config`.
# I could change home-manager.users.yoda to be a function and take config as an argument there.
#history.path = "${config.xdg.dataHome}/.histfile";
oh-my-zsh = {
enable = true;
plugins = [ "git" "sudo" ];
#theme = "robbyrussell";
theme = "agnoster";
};
}; };
}; };
} }