language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 05:31:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Deny pyenv

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-09-29 20:46:11 +09:00
parent 01451ee821
commit 22cec7c6cc
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/erg_common/python_util.rs
View file

@ -18,7 +18,11 @@ pub fn which_python() -> String {
let res = String::from_utf8(out.stdout).unwrap();
let res = res.split('\n').next().unwrap_or("").replace('\r', "");
if res.is_empty() {
panic!("python not found");
println!("python not found");
std::process::exit(1);
} else if res.contains("pyenv") {
println!("cannot use pyenv");
std::process::exit(1);
}
res
}