使用参数文件作为输入从Java执行linux .sh文件，并将输出写入.txt文件

Question

当我尝试在linux shell中运行以下shell脚本时，

cd /home/fpalma/Project/resources/yices/linux64bit/
bash
chmod a+x yices
./yices /home/fpalma/Project/out/SMT.ys > /home/fpalma/Project/out/SMT.txt

它正在运行并生成文本文件作为该yices可执行文件的输出。但是当我使用代码从Java运行相同的shell脚本时，

String command = mainGUI.PROJECT_PATH+"resources/"+"yices.sh";
process = Runtime.getRuntime().exec(command);
process.waitFor();

或

String command = mainGUI.PROJECT_PATH+"resources/"+"yices.sh";
pb = new ProcessBuilder(command);
run = Runtime.getRuntime();
Process p = pb.start();

它也在运行，但没有退出，除非我退出java编译器本身，否则它不会生成文本输出文件。任何建议???

目标：我的目标是使用输入参数文件从java运行可执行文件，然后使用＆＃39;＆gt;＆＃39;生成输出文本文件。操作

Answer 1

你的“命令”变量应该包含完整的命令，即： mainGUI.PROJECT_PATH +“resources /”+“yice​​s.sh /home/fpalma/Project/out/SMT.ys> /home/fpalma/Project/out/SMT.txt”