You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/dev/install.rst
+16Lines changed: 16 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -23,6 +23,22 @@ Set up your environment
23
23
24
24
#. install `Docker <https://www.docker.com/>`_ following `their installation guide <https://docs.docker.com/install/>`_.
25
25
26
+
.. tip::
27
+
28
+
If you run an Ubuntu-flavoured system, you can try the following:
29
+
30
+
.. prompt:: bash
31
+
32
+
sudo apt install docker.io
33
+
sudo adduser $(whoami) docker
34
+
35
+
This will install Docker Community Edition maintained by an Ubuntu/Canonical team.
36
+
37
+
.. warning::
38
+
39
+
While setting up a Read the Docs development is fairly simple, it does consume a bit of resources: Expect to use ~10 GB for storing Docker images and run the environment on a system with 8+ GB of memory.
0 commit comments