GitHub user zentol opened a pull request:

    [FLINK-8475][config][docs] Integrate Environment options

    ## What is the purpose of the change
    This PR integrates the environment `ConfigOptions` into the configuration 
docs generator.
    Note that the newly added config options are only evaluated in the shell 
scripts, which is rather unfortunate and may cause the docs to be outdated 
should we not find a way to guard this with tests.
    ## Brief change log
    * Add missing descriptions to config options (derived from existing 
    * integrate environment configuration table into ``

You can merge this pull request into a Git repository by running:

    $ git pull 8475_env

Alternatively you can review and apply these changes as the patch at:

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #5468
commit 0393908861b3d311fbf0761261260ebefffbd6eb
Author: zentol <chesnay@...>
Date:   2018-01-30T13:45:10Z

    [FLINK-8475][config][docs] Integrate Environment options



Reply via email to