@@ -147,28 +147,7 @@ There are also commands that help manipulate with XMIR and EO sources
147147This command line toolkit simply integrates other tools available in
148148the [ @objectionary ] ( https://github.com/objectionary ) GitHub organization.
149149
150- ## Options
151-
152- You can apply the following options to the ` eoc ` command:
153-
154- * ` --help ` prints help information
155- * ` --alone ` runs a single command without dependencies
156- * ` --batch ` runs in batch mode, suppress interactive messages
157- * ` --blind ` disables linting
158- * ` --clean ` deletes .eoc directory before running a command
159- * ` --debug ` print ALL debug messages, heavily overloading the log
160- * ` --easy ` ignores "warnings" and only fail if there are "errors" or
161- "critical"
162- * ` --home-tag <version> ` git tag in objectionary/home to compile against
163- * ` --language <name> ` language of target execution platform
164- * ` --latest ` use the latest parser version from Maven Central
165- * ` --no-color ` disable colorization of console messages
166- * ` --parser <version> ` set the version of EO parser to use
167- * ` --sources <path> ` directory with .EO sources
168- * ` --target <path> ` directory with all generated files
169- * ` --track-transformation-steps ` save intermediate XMIR files
170- * ` --version ` print the number of the version (0.33.3)
171- * ` --verbose ` print debug messages and full output of child processes
150+ ## Linting
172151
173152There are two ways to work with linting. The ` --easy ` option enables linting
174153but ignores warnings, while the ` --blind ` option completely disables linting.
0 commit comments