2015-06-04 34 views

回答

1

是的,使用/dev/stdin作为文件名。请注意,这可能不适用于Windows。

echo "# ninja!" | ninja -f /dev/stdin