[#70] Add timestamps to Docker logs

2021-07-17 08:12:40 +00:00 · 2021-07-17 08:12:40 +00:00 · 0705e351d2
parent b0310dafed
commit 0705e351d2
1 changed files with 1 additions and 2 deletions
--- a/docker/app/Dockerfile
+++ b/docker/app/Dockerfile
@ -30,5 +30,4 @@ COPY --chown=riju:riju --from=build /src ./
 RUN chown root:riju system/out/*-privileged && chmod a=,g=rx,u=rwxs system/out/*-privileged

 USER riju
-CMD ["make", "server"]
-ENV RIJU_ASSUME_SINGLE_PROCESS 1
+CMD make server 2>&1 | ts