yi-dynamic-configuration-0.19.1: Dynamic configuration support for Yi
Safe HaskellNone



This is the main module of Yi, called with configuration from the user. Here we mainly process command line arguments.


Static main

main :: (Config, ConsoleConfig) -> Maybe Editor -> IO () Source #

Static main. This is the front end to the statically linked application, and the real front end, in a sense. dynamic_main calls this after setting preferences passed from the boot loader.

Command line processing

do_args :: Bool -> Config -> [String] -> Either OptionError (Config, ConsoleConfig) Source #

Transform the config with options

data ConsoleConfig Source #

Configuration information which can be set in the command-line, but not in the user's configuration file.