Increase history size
This commit is contained in:
parent
7a7cb5df51
commit
b90d6ecb79
@ -11,6 +11,10 @@
|
|||||||
theme = "agnoster";
|
theme = "agnoster";
|
||||||
plugins = [ "git" "dirhistory" ];
|
plugins = [ "git" "dirhistory" ];
|
||||||
};
|
};
|
||||||
|
history = rec {
|
||||||
|
size = 1000000;
|
||||||
|
save = size;
|
||||||
|
};
|
||||||
plugins = [
|
plugins = [
|
||||||
{
|
{
|
||||||
name = "zsh-nix-shell";
|
name = "zsh-nix-shell";
|
||||||
|
Loading…
Reference in New Issue
Block a user