language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-12-23 05:36:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(linter): add lint command

Browse source
This commit is contained in:
GreasySlug 2024-05-27 01:04:27 +09:00
parent 1a0daed8a4
commit 6ef11887ed
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/erg_common/config.rs
View file

@ -288,6 +288,9 @@ impl ErgConfig {
"--check" => {
cfg.mode = ErgMode::FullCheck;
}
"--lint" => {
cfg.mode = ErgMode::Lint;
}
"--compile" | "--dump-as-pyc" => {
cfg.mode = ErgMode::Compile;
}