better history
This commit is contained in:
parent
68d99c3696
commit
3cb4b58516
|
@ -10,6 +10,11 @@
|
||||||
# shell config
|
# shell config
|
||||||
extraConfig = ''
|
extraConfig = ''
|
||||||
$env.config = {
|
$env.config = {
|
||||||
|
history: {
|
||||||
|
max_size: 100_000
|
||||||
|
file_format: "sqlite"
|
||||||
|
isolation: true
|
||||||
|
}
|
||||||
table: {
|
table: {
|
||||||
mode: none
|
mode: none
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue