diff options
| author | Sam Bortman <sam.bortman@gmail.com> | 2021-06-16 14:59:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-16 21:59:38 +0300 |
| commit | c2b93ff83fa509e1001991ec09ace856949bec40 (patch) | |
| tree | 8ec1a05fd9a77edda8d4a70c03bc020e4acdf1be /redis.conf | |
| parent | 362786c58a28b35b3249f97751535f9f72d4c6be (diff) | |
| download | redis-c2b93ff83fa509e1001991ec09ace856949bec40.tar.gz | |
Support glob pattern matching for config include files (#8980)
This will allow distros to use an "include conf.d/*.conf" statement in the default configuration file
which will facilitate customization across upgrades/downgrades.
The change itself is trivial: instead of opening an individual file, the glob call creates a vector of files to open, and each file is opened in turn, and its content is added to the configuration.
Diffstat (limited to 'redis.conf')
| -rw-r--r-- | redis.conf | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/redis.conf b/redis.conf index 1381f1a50..9e72d9c45 100644 --- a/redis.conf +++ b/redis.conf @@ -32,8 +32,17 @@ # If instead you are interested in using includes to override configuration # options, it is better to use include as the last line. # +# Included paths may contain wildcards. All files matching the wildcards will +# be included in alphabetical order. +# Note that if an include path contains a wildcards but no files match it when +# the server is started, the include statement will be ignored and no error will +# be emitted. It is safe, therefore, to include wildcard files from empty +# directories. +# # include /path/to/local.conf # include /path/to/other.conf +# include /path/to/fragments/*.conf +# ################################## MODULES ##################################### |