1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/sh
src/gtkshell \
--module='sed -e "s/\(.*\)/\1 -O -/"' \
--id=sed \
--module='grep HTML' \
--id=grep \
--module='wget' \
--options=start_on_input \
--module='src/gtkiowin' \
--id=viewer \
--module='src/gtkiowin' \
--options=start_on_input \
--id=error_output \
--module='examples/periodic "Type a URL in the box above."' \
--options=abort_on_failed_write \
--bond=sed:stdout,wget:startup_args \
--bond=sed:stdin,viewer:stdout \
--bond=wget:stdout,grep:stdin \
--bond=grep:stdout,viewer:stdin \
--bond=examples/periodic:stdout,viewer:stdexc \
$*
# --bond=wget:stderr,error_output:stdexc \
|
