Skip to content

Commit

Permalink
Fix Sublist problemfor Linux docker group setup
Browse files Browse the repository at this point in the history
The sublist is ignored by mkdocs (actually by Python Markdown) when indent is not 4 spaces (is 2). See issue Python-Markdown/markdown#3 .  
This quickfix adds 2 spaces to the indentation.
  • Loading branch information
justb4 authored Jun 10, 2024
1 parent 7bce996 commit 668f93b
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions workshop/content/docs/setup.md
Original file line number Diff line number Diff line change
Expand Up @@ -81,11 +81,11 @@ Some notes:
![MacBook settings](assets/images/macosx-airplay-disable.png)
* On Linux, you can choose the relevant installer for your platform. You can also use Virtualbox with a Ubuntu Image or use a cloud VM
* On Linux, when encountering permission issues: the Docker daemon normally runs as "root". This requires prefixing commands with `sudo` as a non-root user. On most distributions Docker is accessible by users in the `docker` group. You can omit the use of `sudo` and prevent possibly other permission issues as follows:
* Test if the `docker` group exists: `cat /etc/group | grep docker`.
* When non-existing: `sudo groupadd docker`.
* Add your user to this group: `sudo usermod -aG docker $USER`
* Log-out and log-in.
* See all details and more options in [this instruction](https://docs.docker.com/engine/install/linux-postinstall/#manage-docker-as-a-non-root-user).
* Test if the `docker` group exists: `cat /etc/group | grep docker`.
* When non-existing: `sudo groupadd docker`.
* Add your user to this group: `sudo usermod -aG docker $USER`
* Log-out and log-in.
* See all details and more options in [this instruction](https://docs.docker.com/engine/install/linux-postinstall/#manage-docker-as-a-non-root-user).
* Docker Desktop includes a graphical user interface with some interesting options. You can see logs and information about running containers, open their service in a browser or even open a terminal inside the container

If all goes well, you should be able to run Docker from the command line as follows: [^2]
Expand Down

0 comments on commit 668f93b

Please sign in to comment.