@@ -590,7 +590,8 @@ splitName s = case reverse $ splitOn "." s of
590idemodeProcess :: FilePath -> Command -> Idris ()
590idemodeProcess :: FilePath -> Command -> Idris ()
591idemodeProcess fn Warranty = process fn Warranty
591idemodeProcess fn Warranty = process fn Warranty
592idemodeProcess fn Help = process fn Help
592idemodeProcess fn Help = process fn Help
593−idemodeProcess fn (RunShellCommand cmd) = process fn (RunShellCommand cmd)
593+idemodeProcess fn (RunShellCommand cmd) =
594+ iPrintError ":! is not currently supported in IDE mode."
594idemodeProcess fn (ChangeDirectory f) =
595idemodeProcess fn (ChangeDirectory f) =
595 do process fn (ChangeDirectory f)
596 do process fn (ChangeDirectory f)
596 dir <- runIO $ getCurrentDirectory
597 dir <- runIO $ getCurrentDirectory