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 /source/xrmoptions.c | |
parent | aacb570850dced80b3490f85037e7a9beaabdc4f (diff) |
Add history ignore (#846)
Diffstat (limited to 'source/xrmoptions.c')
-rw-r--r-- | source/xrmoptions.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index cb05a9b4..d7bae743 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -141,6 +141,8 @@ static XrmOption xrmOptions[] = { "DRUN format string. (Supports: generic,name,comment,exec,categories)", CONFIG_DEFAULT }, { xrm_Boolean, "disable-history", { .num = &config.disable_history }, NULL, "Disable history in run/ssh", CONFIG_DEFAULT }, + { xrm_String, "ignored-prefixes", { .str = &config.ignored_prefixes }, NULL, + "Programs ignored for history", CONFIG_DEFAULT }, { xrm_Boolean, "sort", { .num = &config.sort }, NULL, "Use sorting", CONFIG_DEFAULT }, { xrm_String, "sorting-method", { .str = &config.sorting_method }, NULL, |