Update debian_mini

szweibel · Jan 17, 2025 · e03b5e1 · e03b5e1
1 parent b05bcfa
commit e03b5e1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/dockerfiles/debian_mini b/dockerfiles/debian_mini
@@ -10,7 +10,6 @@ RUN apt-get -y install apt-utils gcc \
 RUN useradd -m user && echo "user:password" | chpasswd
 COPY --chown=user:user ./data /home/user/data
 COPY --chown=user:user ./command-line-treasure-hunt /home/user/command-line-treasure-hunt
-RUN chmod -R +x  /home/user/examples/lua
 # We set WORKDIR, as this gets extracted by Webvm to be used as the cwd. This is optional.
 WORKDIR /home/user/
 # We set env, as this gets extracted by Webvm. This is optional.