You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
currently, play requires to have the input data saved in a file before reading it with a tool. as far as i know, most (if not all) of the supported tools by play provides parsing from stdin, which lets user pipe data to such tools. it would be great if play also support parsing data that way, e.g. by letting user invoke the tool with play [tool] - (i.e. specifying a dash to read from stdin).
The text was updated successfully, but these errors were encountered:
currently,
play
requires to have the input data saved in a file before reading it with a tool. as far as i know, most (if not all) of the supported tools byplay
provides parsing from stdin, which lets user pipe data to such tools. it would be great ifplay
also support parsing data that way, e.g. by letting user invoke the tool withplay [tool] -
(i.e. specifying a dash to read from stdin).The text was updated successfully, but these errors were encountered: