From aa7dab34338823f3fd73b9598a87be1269fc965f Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 10 Jan 2024 21:14:37 -0800 Subject: [PATCH] src/doc/en/developer/portability_testing.rst: Use .. NOTE:: --- src/doc/en/developer/portability_testing.rst | 33 +++++++++----------- 1 file changed, 14 insertions(+), 19 deletions(-) diff --git a/src/doc/en/developer/portability_testing.rst b/src/doc/en/developer/portability_testing.rst index c1bc3fc42bb..d6460e835d8 100644 --- a/src/doc/en/developer/portability_testing.rst +++ b/src/doc/en/developer/portability_testing.rst @@ -60,29 +60,24 @@ Make sure that your Docker client is configured to provide enough RAM to the containers (8 GB are a good choice). In Docker Desktop this setting is in Preferences -> Resources -> Advanced. -As an alternative, you can also run Docker in GitHub Codespaces -(or another cloud service) using a container with the Docker-in-Docker -feature. Sage provides a suitable dev container configuration -`.devcontainer/tox-docker-in-docker -`_. - -.. only:: html +.. NOTE:: - .. |codespace-tox-docker-in-docker| image:: https://github.com/codespaces/badge.svg - :target: https://codespaces.new/sagemath/sage?devcontainer_path=.devcontainer%2Ftox-docker-in-docker%2Fdevcontainer.json + All examples in this section were obtained using Docker Desktop for + Mac; but the `command-line user interface + `_ for the + other platforms is identical. - .. list-table:: - :widths: 25 60 - :header-rows: 0 + As an alternative, you can also run Docker in GitHub Codespaces + (or another cloud service) using a container with the Docker-in-Docker + feature. Sage provides a suitable dev container configuration + `.devcontainer/tox-docker-in-docker + `_: - * - `tox-docker-in-docker - `_ - - |codespace-tox-docker-in-docker| + .. ONLY:: html -All examples in this section were obtained using Docker Desktop for -Mac; but the `command-line user interface -`_ for the -other platforms is identical. + .. image:: https://github.com/codespaces/badge.svg + :align: center + :target: https://codespaces.new/sagemath/sage?devcontainer_path=.devcontainer%2Ftox-docker-in-docker%2Fdevcontainer.json All major Linux distributions provide ready-to-use Docker images, which are published via `Docker Hub `_