|
|
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.