diff options
Diffstat (limited to 'man/man1/ped.1df')
| -rw-r--r-- | man/man1/ped.1df | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/man/man1/ped.1df b/man/man1/ped.1df new file mode 100644 index 00000000..fba85943 --- /dev/null +++ b/man/man1/ped.1df @@ -0,0 +1,19 @@ +.TH PED 1df "May 2017" "Manual page for ped" +.SH NAME +.B ped +\- stop a pipe for $EDITOR intervention +.SH SYNOPSIS +prog1 | +.B +ped +| prog2 +.SH DESCRIPTION +.B ped +saves all its standard input into a temporary file and runs $EDITOR, or ed(1) +if unset, on that file. Once the editor exits, it emits the contents of the +same file (changed or unchanged). This can be used as a way to edit data +manually as it goes through a pipe. +.SH SEE ALSO +pst(1df), pvi(1df) +.SH AUTHOR +Tom Ryder <tom@sanctum.geek.nz> |