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

build: remove dependencies libc/winapi/hermit_abi

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-02 23:53:42 +09:00
parent 68a27f8eca
commit ea132e2345
7 changed files with 97 additions and 1290 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/erg_common/config.rs
View file

@ -5,7 +5,7 @@ use std::env;
use std::ffi::OsStr;
use std::fmt;
use std::fs::File;
use std::io::{stdin, BufRead, BufReader, Read, Write};
use std::io::{stdin, BufRead, BufReader, IsTerminal, Read, Write};
use std::path::{Path, PathBuf};
use std::process;
use std::str::FromStr;
@ -1036,8 +1036,7 @@ USAGE:
}
}
if cfg.input.is_repl() && cfg.mode != ErgMode::LanguageServer {
use crate::tty::IsTty;
let is_stdin_piped = !stdin().is_tty();
let is_stdin_piped = !stdin().is_terminal();
let input = if is_stdin_piped {
let mut buffer = String::new();
stdin().read_to_string(&mut buffer).unwrap();