1#!/bin/sh 2 3hxtoh() 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 19hxtotexi() 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 38case "$1" in 39"-h") hxtoh ;; 40"-t") hxtotexi ;; 41*) exit 1 ;; 42esac 43 44exit 0 45