diff options
author | Yoav <gergesh@gmail.com> | 2018-12-31 01:35:00 +0200 |
---|---|---|
committer | Quentin Glidic <sardemff7+github@sardemff7.net> | 2018-12-31 00:35:00 +0100 |
commit | 238648b5b2267724e2cf7d0c238fca9d983b0c6a (patch) | |
tree | 27359ce471e3905e4714049a53d42a1449589a81 /config | |
parent | aacb570850dced80b3490f85037e7a9beaabdc4f (diff) |
Add history ignore (#846)
Diffstat (limited to 'config')
-rw-r--r-- | config/config.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/config.c b/config/config.c index 8e2bc62a..56053b04 100644 --- a/config/config.c +++ b/config/config.c @@ -91,6 +91,8 @@ Settings config = { .fixed_num_lines = TRUE, /** Do not use history */ .disable_history = FALSE, + /** Programs ignored for history */ + .ignored_prefixes = "", /** Sort the displayed list */ .sort = FALSE, /** Use levenshtein sorting when matching */ |