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