-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Description
Problem
Currently, piping in and out does not work correctly:
- redirecting from stdin (
cat <file> | peek s) causes errors, - redirecting output to another program (
peek s <file> | less) can cause an error when the program stops working before writing the whole output (e.g., we quitlessbefore reaching the end of the file).
Expected behavior
Both cases described above need to be fixed in the following way.
Redirecting from stdin
The following cases should work:
cat <file> | peek <format>cat <file> | peek <format> -cat <file> | peek <format1><format2> - <another_file>Redirecting to an external program
Eliminate BrokenPipeError whenever the following (or similar) command is interrupted before the end of the file is reached.
peek <format> <file> | lessReactions are currently unavailable