From d7f2240e88d0bf9c31c12d7273c182d51e1d8e79 Mon Sep 17 00:00:00 2001 From: Alexander Entinger Date: Fri, 16 Dec 2022 08:39:21 +0100 Subject: [PATCH] Document possible requirement of adding user to docker group. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 7a7f8bbf..2e5e756e 100644 --- a/README.md +++ b/README.md @@ -64,6 +64,10 @@ Install Docker via `snap` or follow the official [instructions](https://docs.doc ```bash sudo snap install docker ``` +**Note**: You may need to add your user to the `docker` group: +```bash +sudo usermod -a -G docker $USER +``` Generating the C header files using a Docker container: ```bash cd extras/script