Java 进程生成器 : command not found

Question

我正在尝试运行我在 Linux 上找到的一些 Java 代码。

    maudecmd = new String[files.length+5];
    maudecmd[0] = "maude";
    maudecmd[1] = "-no-banner";
    maudecmd[2] = "-no-ansi-color";
    maudecmd[3] = "-no-mixfix";
    maudecmd[4] = "-no-wrap";
    for(int i = 0; i < files.length; ++i) {
        maudecmd[5+i] = files[i];
    }

    ProcessBuilder pb = new ProcessBuilder(maudecmd);
    if(dir != null)
        pb.directory(dir);
    pb.redirectErrorStream(true);
    maude = pb.start();

这会抛出 IOException - bash 无法找到“maude”命令。

虽然我在我的 .bashrc 文件中有这个别名:

alias maude='~/lib/maude/maude.linux'

如果我这样修改代码:

maudecmd[0] = "/u/h/os215/lib/maude/maude.linux";

它工作正常。

我想更改此代码以使其更健壮 - 如果有人可以在命令行上运行 Maude，则 ProcessBuilder 也应该能够使用它，无论用户必须使用何种特定方法将 Maude 链接起来。

这能实现吗？

Answer 1

.bashrc 别名只影响 BASH shell。您可以改为导出一个环境变量，但我不知道 Java 的 ProcessBuilder 是否会选择它。

话虽如此，我不明白为什么这行不通:
maudecmd[0] = "/bin/bash maude";