diff options
| author | Daniel <kingdread@gmx.de> | 2020-05-03 17:34:28 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-05-03 17:34:28 +0200 |
| commit | 18544e32ecd1d3bc3535214f0c2edca38346e3a5 (patch) | |
| tree | 3334b84a9bb014dcf5ffc768148ecd295afb78b2 /src/fexpr/grammar.lalrpop | |
| parent | 913bc8c547e97a785cf1cd9fc20f8377f898da2c (diff) | |
| download | raidgrep-18544e32ecd1d3bc3535214f0c2edca38346e3a5.tar.gz raidgrep-18544e32ecd1d3bc3535214f0c2edca38346e3a5.tar.bz2 raidgrep-18544e32ecd1d3bc3535214f0c2edca38346e3a5.zip | |
save REPL history to a file
This persists the REPL history across program restarts.
The code should probably be cleaned up a bit more, the error handling in
this one is a bit all over the place. This is because we don't want to
make it a hard error in case the history cannot be saved.
Diffstat (limited to 'src/fexpr/grammar.lalrpop')
0 files changed, 0 insertions, 0 deletions