45 lines
720 B
Bash
45 lines
720 B
Bash
#!/bin/sh
|
|
|
|
hxtoh()
|
|
{
|
|
flag=1
|
|
while read -r str; do
|
|
case $str in
|
|
HXCOMM*)
|
|
;;
|
|
STEXI*|ETEXI*) flag=$(($flag^1))
|
|
;;
|
|
*)
|
|
test $flag -eq 1 && printf "%s\n" "$str"
|
|
;;
|
|
esac
|
|
done
|
|
}
|
|
|
|
hxtotexi()
|
|
{
|
|
flag=0
|
|
while read -r str; do
|
|
case "$str" in
|
|
HXCOMM*)
|
|
;;
|
|
STEXI*|ETEXI*) flag=$(($flag^1))
|
|
;;
|
|
DEFHEADING*)
|
|
echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
|
|
;;
|
|
*)
|
|
test $flag -eq 1 && echo "$str"
|
|
;;
|
|
esac
|
|
done
|
|
}
|
|
|
|
case "$1" in
|
|
"-h") hxtoh ;;
|
|
"-t") hxtotexi ;;
|
|
*) exit 1 ;;
|
|
esac
|
|
|
|
exit 0
|