changeset 1986:de2158b462fd default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 28 Jun 2025 19:44:04 -0600
parents 4748eda661bd
children
files website/push-local.sh website/serve.sh
diffstat 2 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
diff -r 4748eda661bd -r de2158b462fd website/push-local.sh
--- a/website/push-local.sh	Sat Jun 28 17:39:07 2025 -0600
+++ b/website/push-local.sh	Sat Jun 28 19:44:04 2025 -0600
@@ -1,1 +1,3 @@
+#!/bin/bash
+
 luan luan:host/push.luan www.me.luan.software word src 2>&1 | tee err
diff -r 4748eda661bd -r de2158b462fd website/serve.sh
--- a/website/serve.sh	Sat Jun 28 17:39:07 2025 -0600
+++ b/website/serve.sh	Sat Jun 28 19:44:04 2025 -0600
@@ -1,1 +1,3 @@
+#!/bin/bash
+
 luan luan:http/serve.luan src 2>&1 | tee err