zsh: Don't share config
This commit is contained in:
parent
77c475df7c
commit
da65cc93b8
|
@ -137,7 +137,10 @@ in
|
||||||
plugins = [ "git" "fzf" ];
|
plugins = [ "git" "fzf" ];
|
||||||
theme = "robbyrussell";
|
theme = "robbyrussell";
|
||||||
};
|
};
|
||||||
history.size = 10000;
|
history = {
|
||||||
|
share = false; # every terminal has it's own history
|
||||||
|
size = 10000;
|
||||||
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
programs.git = {
|
programs.git = {
|
||||||
|
|
Loading…
Reference in a new issue