|
|
1.1 root 1: #!/bin/sh
2:
3: hxtoh()
4: {
5: flag=1
6: while read -r str; do
7: case $str in
8: HXCOMM*)
9: ;;
10: STEXI*|ETEXI*) flag=$(($flag^1))
11: ;;
12: *)
13: test $flag -eq 1 && printf "%s\n" "$str"
14: ;;
15: esac
16: done
17: }
18:
19: hxtotexi()
20: {
21: flag=0
22: while read -r str; do
23: case "$str" in
24: HXCOMM*)
25: ;;
26: STEXI*|ETEXI*) flag=$(($flag^1))
27: ;;
28: DEFHEADING*)
29: echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
30: ;;
31: *)
32: test $flag -eq 1 && echo "$str"
33: ;;
34: esac
35: done
36: }
37:
38: case "$1" in
39: "-h") hxtoh ;;
40: "-t") hxtotexi ;;
41: *) exit 1 ;;
42: esac
43:
44: exit 0
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.