@@ -1130,6 +1130,13 @@ idrisMain opts =
11301130 Nothing -> return ()
11311131 Just expr -> execScript expr
11321132
1133+ -- Create Idris data dir + repl history and config dir
1134+ idrisCatch (do dir <- getIdrisUserDataDir
1135+ exists <- runIO $ doesDirectoryExist dir
1136+ unless exists $ iLOG ("Creating " ++ dir)
1137+ runIO $ createDirectoryIfMissing True (dir </> "repl"))
1138+ (\e -> return ())
1139+
11331140 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
11341141
11351142 when runrepl $ initScript