The Docker Tools environment tool is documented here:
https://github.com/gchq/sleeper/blob/develop/docs/deployment/environment-tool.md
This documents the tool from the perspective of a user who's installed from GitHub.
A section has been added that states "If the environment configuration code has been changed it will need to be rebuilt before deployment". This is incorrect.
The command to upgrade the tool is sleeper cli upgrade, as documented in https://github.com/gchq/sleeper/blob/develop/docs/deployment/docker-tools.md.
The relevant documentation for developers is in the developer guide: https://github.com/gchq/sleeper/blob/develop/docs/developer-guide.md#sleeper-docker-tools
The new section needs removing from the environment tool user documentation. We can move it to the developer guide or split out a separate document for development of the Docker tools.
The Docker Tools environment tool is documented here:
https://github.com/gchq/sleeper/blob/develop/docs/deployment/environment-tool.md
This documents the tool from the perspective of a user who's installed from GitHub.
A section has been added that states "If the environment configuration code has been changed it will need to be rebuilt before deployment". This is incorrect.
The command to upgrade the tool is
sleeper cli upgrade, as documented in https://github.com/gchq/sleeper/blob/develop/docs/deployment/docker-tools.md.The relevant documentation for developers is in the developer guide: https://github.com/gchq/sleeper/blob/develop/docs/developer-guide.md#sleeper-docker-tools
The new section needs removing from the environment tool user documentation. We can move it to the developer guide or split out a separate document for development of the Docker tools.