From f1d03d84c558d65e1488fb95bada345e6dec15c4 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Wed, 21 May 2025 15:47:20 +0200
Subject: [PATCH] merge_modules: preserve exec right
---
jk_web/merge_modules.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/jk_web/merge_modules.py b/jk_web/merge_modules.py
index d633e43..b82fbcb 100755
--- a/jk_web/merge_modules.py
+++ b/jk_web/merge_modules.py
@@ -56,6 +56,8 @@ def merge(do_commit):
else:
with open(web_dir+path+fname, "wb") as f:
f.write(data)
+ if os.access(module_dir+path+fname, os.X_OK):
+ os.chmod(web_dir+path+fname, 0o755)
for m in modules:
go(m, '/')
--
GitLab