diff --git a/Dockerfile b/Dockerfile index 7ab6965574c38faaeb7e91a678b9d32c712a88c2..5c029a24aea6baf740640a51941689ec0c08e7f9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -97,7 +97,7 @@ ARG version=latest # Optionally build a striped Theia application with no map file or .ts sources. # Makes image ~150MB smaller when enabled -ARG strip=false +ARG strip=true ENV strip=$strip USER theia