diff --git a/doc/source/install/containers_deployment/tips_tricks.rst b/doc/source/install/containers_deployment/tips_tricks.rst index 29041907..01d13550 100644 --- a/doc/source/install/containers_deployment/tips_tricks.rst +++ b/doc/source/install/containers_deployment/tips_tricks.rst @@ -128,6 +128,8 @@ The configuration options you will likely be interested in include: --user Start container as the specified user --overrides JSON configuration information used to override default config values + --default-runtime Default runtime for containers. Can be docker or + podman. ``file`` is the name of the configuration file to use containing the configuration for the container you wish to use.