From c28b868f7edde6b7725fc31bcd23e5abc1d9e1c0 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 21 Sep 2026 13:32:18 +0100
Subject: Also ignore :script

Thanks again int-e :)
---
 src/Ghci.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Ghci.hs')

diff --git a/src/Ghci.hs b/src/Ghci.hs
index c0f5de9..b8c3b69 100644
--- a/src/Ghci.hs
+++ b/src/Ghci.hs
@@ -98,6 +98,7 @@ runStmtClever ghci pset line =
         | "def" `startsWith` cmd -> return (ghci, Ignored)
         | "cd" `startsWith` cmd -> return (ghci, Ignored)  -- useless in irc
         | "edit" `startsWith` cmd -> return (ghci, Ignored)  -- useless in irc, may break prompt detection etc.
+        | "script" `startsWith` cmd -> return (ghci, Ignored)  -- allows the above
         | "quit" `startsWith` cmd -> do
             terminateGhci ghci
             putStrLn "ghci: restarting due to :quit"
-- 
cgit v1.3.1