1 是的,使用/dev/stdin作为文件名。请注意,这可能不适用于Windows。 echo "# ninja!" | ninja -f /dev/stdin 来源 2015-06-04 05:10:43 Qix