@@ -231,7 +231,9 @@ ideslaveStart s orig mods
231231 case idris_outputmode i of
232232 IdeSlave n h ->
233233 do runIO $ hPutStrLn h $ IdeSlave.convSExp "protocol-version" IdeSlave.ideSlaveEpoch n
234− when (mods /= []) (do isetPrompt (mkPrompt mods))
234+ case mods of
235+ a:_ -> runIdeSlaveCommand h n i "" [] (IdeSlave.LoadFile a Nothing)
236+ _ -> return ()
235237 ideslave h orig mods
236238
237239getNChar :: Handle -> Int -> String -> IO (String)
@@ -1350,7 +1352,7 @@ idrisMain opts =
13501352 iputStrLn banner
13511353
13521354 orig <- getIState
1353− loadInputs inputs Nothing
1355+ when (not idesl) $ loadInputs inputs Nothing
13541356
13551357 runIO $ hSetBuffering stdout LineBuffering
13561358