language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 21:01:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update erg_util.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-11-06 21:36:05 +09:00
parent b5220b6423
commit 60956a590e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/erg_common/erg_util.rs
View file

@ -17,9 +17,9 @@ pub fn get_erg_version(erg_command: &str) -> Option<String> {
.ok()?
};
// e.g. Erg 0.1.0, Erg 0.1.2-nightly.2
let s_version = String::from_utf8(out.stdout).unwrap();
let s_version = String::from_utf8(out.stdout).ok()?;
let mut iter = s_version.split(' ').skip(1);
Some(iter.next().unwrap().trim_end().to_string())
Some(iter.next()?.trim_end().to_string())
}
pub fn env_erg_version() -> Option<String> {