From fd2d28b0201a3708812b360037f53b241873b0c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ole=20Peder=20Brandtz=C3=A6g?= Date: Sun, 2 Apr 2023 13:51:50 +0200 Subject: [PATCH] Make init.sh executable. This allows users to run it using "./", which I believe a lot of folks expect to be able to do for bash scripts. --- init.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 init.sh diff --git a/init.sh b/init.sh old mode 100644 new mode 100755