chore: remove extension from tools

2025-12-19 06:06:54 +00:00 · 2022-12-28 01:10:27 +08:00
parent 72700be7dd
commit 5a191e79af
7 changed files with 3 additions and 3 deletions
--- a/tools/run
+++ b/tools/run
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+#
+# Run jekyll serve and then launch the site
+
+bundle exec jekyll s -H 0.0.0.0 -l