diff options
author | Fred Hebert <[email protected]> | 2017-04-22 17:39:08 -0400 |
---|---|---|
committer | Fred Hebert <[email protected]> | 2017-05-17 07:53:01 -0400 |
commit | 4b9e1dd37f6e55ba1a04fad36d8ed3c0201b1942 (patch) | |
tree | 94c2e64f816f5c6fdd28dd4e9fd43957d288d1e5 /lib/edoc/src/Makefile | |
parent | ed4d30888beb58c27f61dcf86384696cc221be35 (diff) | |
download | otp-4b9e1dd37f6e55ba1a04fad36d8ed3c0201b1942.tar.gz otp-4b9e1dd37f6e55ba1a04fad36d8ed3c0201b1942.tar.bz2 otp-4b9e1dd37f6e55ba1a04fad36d8ed3c0201b1942.zip |
Add persistence to history of the non-legacy shell
This patch adds a mechanism by which shell history gets stored
persistently on disk and gets loaded whenever a new shell session
begins.
The log files are added to the user's cache directory, with multiple
files in it, although the location is configurable.
All Erlang instances on a given host will share the same log file.
There are two hook points in group.erl that are used: when instantiating
the buffer, where we fetch from disk, and when adding a line to the
buffer (gets stored).
This allows all shell instances to use the same base set of lines when
loaded, but to keep their history separate after the fact. As lines are
added as you go, a new shell session (with ^G -> s -> c) will have
access to previous sessions' lines.
The implementation makes use of the disk_log library with a rotating log
in order to store data, and allow automated repairs.
By default, the feature is disabled and must be turned on through OTP
environment variable part of the kernel application. The options
include:
| Option | Accepted values | Default | Description |
| ------------------------ | ----------------- |---------- | -------------------- |
| shell_history | enabled, disabled | disabled | turn feature on/off |
| shell_history_path | any string | user cache| where to put files |
| shell_history_file_bytes | 51200..N bytes | 512kb | max data size (>50kb)|
| shell_history_drop | ["q().", ...] | [] | blacklisted lines |
A version header is added to the disk_log configuration, allowing
changes in the storage format to be enacted in the future (i.e. adding
segmentation by node name in the same file, or encoding) without
conflict.
Log rotation is used with multiple log files to ensure proper
enforcement of resizing without too much data loss. Because disk_log
does not allow to just flush bits of content on rewrite (it truncates
any full file), we instead use a wrap log and try to divide the
configured size into up to 10 log files so that every time we rotate a
log, we lose only 10% of the data. This remains true for corrupted files
that cannot fully be repaired.
This many-logs-based approach in turn forces the use of a minimal log
size for the `shell_history_file_bytes` configuration, since it has to
be divided by 10.
The shell history is not loaded for the `user` process which, despite
running the group.erl module, does not actually require history as it
mostly just forwards IO protocol information.
Diffstat (limited to 'lib/edoc/src/Makefile')
0 files changed, 0 insertions, 0 deletions