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 45
