Guest User

prtexdef.sh---TeX の制御字句を分解して表示

a guest
Jan 1st, 2018
144
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.45 KB | None | 0 0
  1. #!/bin/sh -
  2. # usage: ./prtexdef.sh CS
  3. # (CS はバックスラッシュを前置しないこと)
  4.  
  5. set -u
  6. umask 0022
  7. LC_ALL=C
  8.  
  9. tmpdir=/tmp/prtexdef.$$
  10. CS=$1
  11. texcmd=tex
  12.  
  13. command -v tex > /dev/null 2>&1 || exit 1
  14. command -v dvi2tty > /dev/null 2>&1 || exit 1
  15.  
  16. mkdir $tmpdir &&
  17. cd $tmpdir &&
  18. $texcmd <<- EOF > /dev/null 2>&1 &&
  19.     \nopagenumbers
  20.     \noindent
  21.     \tt\meaning\\$CS
  22.     \end
  23.     EOF
  24. dvi2tty ./texput.dvi 2> /dev/null
  25. rm -rf $tmpdir
  26.  
  27. exit $?
Advertisement
Add Comment
Please, Sign In to add comment