diff --git a/Dockerfile b/Dockerfile index d547a315ba56dd646a5a8e3d442104d5766c4a9d..03fbdaa28cd0788da9ca09af00594c7a0bd5b712 100644 --- a/Dockerfile +++ b/Dockerfile @@ -30,6 +30,7 @@ RUN apt-get update && \ libgit2-dev \ manpages \ man-db \ + python3.6 \ less USER ${NB_USER}