User defined pipe and redirection operators: Difference between revisions
Content added Content deleted
| Line 666: | Line 666: | ||
end |
end |
||
uniq() = (chan) -> uniq(chan) |
uniq() = (chan) -> uniq(chan) |
||
function lines(chan) |
|||
io = IOBuffer() |
|||
try |
|||
while isopen(chan) |
|||
print(io, take!(chan)) |
|||
end |
|||
catch; |
|||
end |
|||
flush(io) |
|||
end |
|||
function print_lines(chan) |
function print_lines(chan) |
||