From 7aa49703a7e0b1974b34712904cf4411c90e3261 Mon Sep 17 00:00:00 2001 From: Jens Date: Thu, 1 Oct 2020 20:11:17 +0200 Subject: [PATCH] Describe dockerGroupLayers and how to disable it Fixes #1341 Since 1.7.1 dockerLayerGrouping is deprecated. Rename the setting, and add the correct 'disable' statement. --- src/sphinx/formats/docker.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sphinx/formats/docker.rst b/src/sphinx/formats/docker.rst index 90df6b9ad..e2175f5e2 100644 --- a/src/sphinx/formats/docker.rst +++ b/src/sphinx/formats/docker.rst @@ -145,13 +145,13 @@ Environment Settings ``dockerApiVersion`` The docker server API version. Used to leverage new docker features while maintaining backwards compatibility. - ``dockerLayerGrouping`` + ``dockerGroupLayers`` The function mapping files into separate layers to increase docker cache hits. Lower index means the file would be a part of an earlier layer. The main idea behind this is to COPY dependencies *.jar's first as they should change rarely. In separate command COPY the application *.jar's that should change more often. Defaults to detect whether the file name starts with ``ThisBuild / organization``. - To disable layers map all files to no layer using ``dockerLayerGrouping in Docker := (_ => None)``. + To disable layers map all files to no layer using ``dockerGroupLayers in Docker := PartialFunction.empty``. Publishing Settings ~~~~~~~~~~~~~~~~~~~