Change history to sqlite history

main
Julius Riegel 3 months ago
parent 43e324e7ea
commit 6c3315e654
No known key found for this signature in database
GPG Key ID: F26D704A1D3394EB

@ -171,7 +171,8 @@ $env.config = {
history: { history: {
max_size: 10000 # Session has to be reloaded for this to take effect max_size: 10000 # Session has to be reloaded for this to take effect
sync_on_enter: true # Enable to share the history between multiple sessions, else you have to close the session to persist history to file sync_on_enter: true # Enable to share the history between multiple sessions, else you have to close the session to persist history to file
file_format: "plaintext" # "sqlite" or "plaintext" file_format: "sqlite" # "sqlite" or "plaintext"
isolation: true
} }
# filesize settings # filesize settings
filesize: { filesize: {

Loading…
Cancel
Save