From e03b5e1bc93eccdfb5169b1966e9c3311a563d35 Mon Sep 17 00:00:00 2001
From: Stephen Zweibel <srzweibel@gmail.com>
Date: Fri, 17 Jan 2025 11:50:29 -0500
Subject: [PATCH] Update debian_mini

---
 dockerfiles/debian_mini | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dockerfiles/debian_mini b/dockerfiles/debian_mini
index 115db036..112589c6 100644
--- 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.