pgAdmin 4 commit: Support distro-specific configs, and include docs in - Mailing list pgadmin-hackers

Support distro-specific configs, and include docs in the PIP wheel.

A distro can now install a config_distro.py file alongside config.py
in which distro-specific configuration settings can be set, overriding
those in config.py. User settings in config_local.py will override
all other settings. This is useful to allow packagers to config
settings like the doc path, that may be specific to RPMs or Wheels
etc.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=17b6053f45027de86f099ccb71c2cbb4e99b6a40

Modified Files
--------------
pkg/pip/build.sh | 22 ++++++++++++++++++++++
web/config.py    |  6 ++++++
2 files changed, 28 insertions(+)