@@ -1130,6 +1130,13 @@ idrisMain opts =
1130 Nothing -> return ()
1130 Nothing -> return ()
1131 Just expr -> execScript expr
1131 Just expr -> execScript expr
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"))
1133 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
1140 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
1135 when runrepl $ initScript
1142 when runrepl $ initScript