2015-06-04 2 views

ответ

1

Да, используйте /dev/stdin в качестве имени файла. Обратите внимание, что это, вероятно, не будет работать в Windows.

echo "# ninja!" | ninja -f /dev/stdin 
Смежные вопросы