From b38cfa473e4f8f37b6e1a348401899d2ea7946cc Mon Sep 17 00:00:00 2001
From: Sandro <sandro.jaeckel@posteo.de>
Date: Thu, 6 Feb 2020 23:05:40 +0100
Subject: [PATCH] Dockerfile: Combine two runs

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 03026566..2215d190 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -42,8 +42,8 @@ RUN adduser --gecos '' --disabled-password coder && \
 USER coder
 # Create first so these directories will be owned by coder instead of root
 # (workdir and mounting appear to both default to root).
-RUN mkdir -p /home/coder/project
-RUN mkdir -p /home/coder/.local/share/code-server
+RUN mkdir -p /home/coder/project \
+  && mkdir -p /home/coder/.local/share/code-server
 
 WORKDIR /home/coder/project