From 2ae761edc18f41e1ae45af5171e56b712920cb8e Mon Sep 17 00:00:00 2001
From: Adriaan Leijnse <parenthetical@users.noreply.github.com>
Date: Tue, 25 Oct 2022 13:52:46 +0100
Subject: [PATCH] Always reset Devnet directory

---
 src/Hydra/Devnet.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Hydra/Devnet.hs b/src/Hydra/Devnet.hs
index fe0d5bb..227080d 100644
--- a/src/Hydra/Devnet.hs
+++ b/src/Hydra/Devnet.hs
@@ -56,6 +56,7 @@ devnetMagic = 42
 
 prepareDevnet :: IO ()
 prepareDevnet = do
+  _ <- readCreateProcess (shell "rm -rf devnet") ""
   output <- readCreateProcess (shell "[ -d devnet ] || ./demo/prepare-devnet.sh") ""
   putStrLn output