diff --git a/WebSocketClient/Dockerfile b/WebSocketClient/Dockerfile index e729244..b9e6f01 100644 --- a/WebSocketClient/Dockerfile +++ b/WebSocketClient/Dockerfile @@ -9,7 +9,9 @@ COPY . . RUN npm run build # Install Nginx -RUN apt-get update && apt-get install -y nginx +RUN apt-get update +RUN apt-get install -y nginx +RUN apt-get clean # Copy your static files into the Nginx document root directory RUN cp -r dist/* /var/www/html/ diff --git a/WebSocketLanguageServer/Dockerfile b/WebSocketLanguageServer/Dockerfile index 8d180d3..94ef769 100644 --- a/WebSocketLanguageServer/Dockerfile +++ b/WebSocketLanguageServer/Dockerfile @@ -3,7 +3,8 @@ FROM node:18 WORKDIR /usr/src/app RUN apt-get update -RUN apt-get install z3 +RUN apt-get install -y z3 +RUN apt-get clean COPY package*.json ./