From 708350711b9ada1a0eeaf1455feb3cc3fe568e87 Mon Sep 17 00:00:00 2001
From: Daniel Barlow <dan@telent.net>
Date: Sat, 8 Jul 2023 22:14:40 +0100
Subject: [PATCH] allow running scripts using fennelrepl

e.g.

FENNEL_PATH=pkgs/?/init.fnl\;pkgs/?.fnl nix-shell --run "fennelrepl ./examples/acquire-delegated-prefix.fnl /tmp/boo eth1"
---
 pkgs/fennelrepl/default.nix | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/pkgs/fennelrepl/default.nix b/pkgs/fennelrepl/default.nix
index cbc8ac0..16696a9 100644
--- a/pkgs/fennelrepl/default.nix
+++ b/pkgs/fennelrepl/default.nix
@@ -29,6 +29,10 @@ in writeScriptBin "fennelrepl" ''
     if more_fennel then
         fennel.path = more_fennel .. ";" .. fennel.path
     end
-    print("path", fennel.path)
-    fennel.repl()
+    if #arg > 0 then
+       script = table.remove(arg, 1)
+       fennel.dofile(script, {},  arg)
+    else
+        fennel.repl()
+    end
   ''