Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh -
- # usage: ./prtexdef.sh CS
- # (CS はバックスラッシュを前置しないこと)
- set -u
- umask 0022
- LC_ALL=C
- tmpdir=/tmp/prtexdef.$$
- CS=$1
- texcmd=tex
- command -v tex > /dev/null 2>&1 || exit 1
- command -v dvi2tty > /dev/null 2>&1 || exit 1
- mkdir $tmpdir &&
- cd $tmpdir &&
- $texcmd <<- EOF > /dev/null 2>&1 &&
- \nopagenumbers
- \noindent
- \tt\meaning\\$CS
- \end
- EOF
- dvi2tty ./texput.dvi 2> /dev/null
- rm -rf $tmpdir
- exit $?
Advertisement
Add Comment
Please, Sign In to add comment