make deployment-script executable

2023-10-03 20:03:53 +02:00 · 2023-10-03 20:03:53 +02:00 · 9809af15c4
parent 919ed6913d
commit 9809af15c4
1 changed files with 1 additions and 0 deletions
--- a/deployment-script.sh
+++ b/deployment-script.sh
@ -1,3 +1,4 @@
+#!/usr/bin/env bash
 cp html_resources/index_template.html index.html

 function genlinks {