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

Update python_util.rs

Browse source
This commit is contained in:
gmshiba 2022-08-12 12:34:35 +09:00
parent ad0aaf49b9
commit 02a6c0279b
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/erg_common/python_util.rs
View file

@ -94,7 +94,9 @@ pub fn exec_py(code: &str) {
.expect("cannot execute python"); .expect("cannot execute python");
} else { } else {
let python_command = format!("{} -c \"{}\"", which_python(), code); let python_command = format!("{} -c \"{}\"", which_python(), code);
Command::new(python_command) Command::new("sh")
.arg("-c")
.arg(python_command)
.spawn() .spawn()
.expect("cannot execute python"); .expect("cannot execute python");
} }