language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update config.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-02 10:50:40 +09:00
parent c63000f153
commit 9734028b21
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_common/config.rs
View file

@ -274,7 +274,7 @@ impl ErgConfig {
.parse::<u8>()
.expect("the value of `-o` is not a number");
}
"--output-dir" | "--dest" => {
"--output-dir" | "--dest" | "--dist" | "--dest-dir" | "--dist-dir" => {
let output_dir = args
.next()
.expect("the value of `--output-dir` is not passed")
@ -317,7 +317,7 @@ impl ErgConfig {
.parse::<u64>()
.expect("the value of `--py-server-timeout` is not a number");
}
"--quiet-startup" | "--quiet-repl" => {
"-q" | "--quiet-startup" | "--quiet-repl" => {
cfg.quiet_repl = true;
}
"-t" | "--show-type" => {
@ -331,7 +331,7 @@ impl ErgConfig {
.expect("the value of `--target-version` is not a valid Python version");
cfg.target_version = Some(target_version);
}
"--verbose" => {
"-v" | "--verbose" => {
cfg.verbose = args
.next()
.expect("the value of `--verbose` is not passed")