From 21cf9029e83b2061257ec01af234c4e6c91fbad9 Mon Sep 17 00:00:00 2001
From: "Lars K.W. Gohlke" <lkwg82@gmx.de>
Date: Wed, 15 Apr 2020 08:32:01 +0200
Subject: [PATCH] docs: Set ownership when using docker image (#518)

---
 docs/docker.rst | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/docs/docker.rst b/docs/docker.rst
index 032ad090..95ad668c 100644
--- a/docs/docker.rst
+++ b/docs/docker.rst
@@ -90,10 +90,8 @@ Docker volume:
 
 .. code-block:: bash
 
-   docker run --rm -v $(pwd):/data ocrmypdf /data/input.pdf /data/output.pdf
-
-(However, when done this way, ``output.pdf`` may be owned by the root
-user.)
+   alias docker_ocrmypdf='docker run --rm  -i --user "$(id -u):$(id -g)" --workdir /data -v "$PWD:/data" ocrmypdf'
+   docker_ocrmypdf /data/input.pdf /data/output.pdf
 
 .. _docker-lang-packs: