home/zsh: Enable extended history (with timestamps)
This commit is contained in:
parent
78226909f9
commit
980dbc9a88
|
@ -8,6 +8,7 @@
|
||||||
};
|
};
|
||||||
history = {
|
history = {
|
||||||
share = false; # every terminal has it's own history
|
share = false; # every terminal has it's own history
|
||||||
|
extended = true;
|
||||||
size = 10000;
|
size = 10000;
|
||||||
};
|
};
|
||||||
shellAliases = {
|
shellAliases = {
|
||||||
|
|
Loading…
Reference in a new issue