From 4bd3e82e824036ebc3dd6d10c7414e9db772decf Mon Sep 17 00:00:00 2001 From: Carlo Date: Sat, 24 Aug 2024 00:00:18 +0200 Subject: [PATCH] Update part_1_docker.rst --- docs/source/dev_docs/setup/part_1_docker.rst | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/source/dev_docs/setup/part_1_docker.rst b/docs/source/dev_docs/setup/part_1_docker.rst index 81e5e76a0..f7a82da5f 100644 --- a/docs/source/dev_docs/setup/part_1_docker.rst +++ b/docs/source/dev_docs/setup/part_1_docker.rst @@ -1,10 +1,9 @@ Setup part 1: Docker ------------------------ -NOTE: - -- If you are running Windows or macOS, please perform the steps in their respective sections first (:doc:`Windows `, :doc:`macOS `)! -- If you are using a distribution other than Ubuntu (e.g. Debian, Linux Mint, Kali Linux etc.), please refer to the official install instructions of the Docker Engine (`Install Docker Engine `__)! +.. note:: + - If you are running Windows or macOS, please perform the steps in their respective sections first (:doc:`Windows `, :doc:`macOS `)! + - If you are using a distribution other than Ubuntu (e.g. Debian, Linux Mint, Kali Linux etc.), please refer to the official install instructions of the Docker Engine (`Install Docker Engine `__)! Install **Docker Engine for Ubuntu** with the following commands (using the shell / ``Ctrl``\ +\ ``Alt``\ +\ ``T``):