equal
deleted
inserted
replaced
15 echo |
15 echo |
16 echo "Usage: $PRG [OPTIONS]" |
16 echo "Usage: $PRG [OPTIONS]" |
17 echo |
17 echo |
18 echo " Options are:" |
18 echo " Options are:" |
19 echo " -h TEXT head text" |
19 echo " -h TEXT head text" |
20 echo " -i ignore INT signal" |
|
21 echo " -p emit my pid" |
20 echo " -p emit my pid" |
22 echo " -q do not pipe stdin" |
21 echo " -q do not pipe stdin" |
23 echo " -s filter symbols" |
22 echo " -s filter symbols" |
24 echo " -t TEXT tail text" |
23 echo " -t TEXT tail text" |
25 echo |
24 echo |
38 ## process command line |
37 ## process command line |
39 |
38 |
40 # options |
39 # options |
41 |
40 |
42 HEAD="" |
41 HEAD="" |
43 NOINT="" |
|
44 EMITPID="" |
42 EMITPID="" |
45 QUIT="" |
43 QUIT="" |
46 SYMBOLS="" |
44 SYMBOLS="" |
47 TAIL="" |
45 TAIL="" |
48 |
46 |
49 while getopts "h:ipqst:" OPT |
47 while getopts "h:pqst:" OPT |
50 do |
48 do |
51 case "$OPT" in |
49 case "$OPT" in |
52 h) |
50 h) |
53 HEAD="$OPTARG" |
51 HEAD="$OPTARG" |
54 ;; |
|
55 i) |
|
56 NOINT=true |
|
57 ;; |
52 ;; |
58 p) |
53 p) |
59 EMITPID=true |
54 EMITPID=true |
60 ;; |
55 ;; |
61 q) |
56 q) |
82 |
77 |
83 |
78 |
84 |
79 |
85 ## main |
80 ## main |
86 |
81 |
87 exec perl -w $DIR/feeder.pl "$HEAD" "$NOINT" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL" |
82 exec perl -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL" |