aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorCoiby Xu <coiby.xu@gmail.com>2026-06-24 09:38:50 +0800
committerJonathan Corbet <corbet@lwn.net>2026-07-15 10:51:27 -0600
commitc2d0e81cb65a01797a796a126c8e77acb5cfdf93 (patch)
treea7a02f1083d788cf2f20538376071694ce1d8aed
parentdocs: kdoc: fix troff output description typo (diff)
Documentation: dev-tools: scripts/container prefers Podman
Obviously scripts/container prefers Podman over Docker. Putting podman before docker also makes it consistent with following parts of the doc and the help text of the tool. Signed-off-by: Coiby Xu <coiby.xu@gmail.com> Reviewed-by: Guillaume Tucker <gtucker@gtucker.io> Signed-off-by: Jonathan Corbet <corbet@lwn.net> Message-ID: <20260624013850.1853171-1-coiby.xu@gmail.com>
-rw-r--r--Documentation/dev-tools/container.rst6
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/dev-tools/container.rst b/Documentation/dev-tools/container.rst
index 452415b64662..9e23f79d5ae1 100644
--- a/Documentation/dev-tools/container.rst
+++ b/Documentation/dev-tools/container.rst
@@ -40,7 +40,7 @@ Available options:
``-r, --runtime RUNTIME``
- Container runtime name. Supported runtimes: ``docker``, ``podman``.
+ Container runtime name. Supported runtimes: ``podman``, ``docker``.
If not specified, the first one found on the system will be used
i.e. Podman if present, otherwise Docker.
@@ -75,8 +75,8 @@ working directory and adjust the user and group id as needed.
The container image which would typically include a compiler toolchain is
provided by the user and selected via the ``-i`` option. The container runtime
-can be selected with the ``-r`` option, which can be either ``docker`` or
-``podman``. If none is specified, the first one found on the system will be
+can be selected with the ``-r`` option, which can be either ``podman`` or
+``docker``. If none is specified, the first one found on the system will be
used while giving priority to Podman. Support for other runtimes may be added
later depending on their popularity among users.