컴퓨터/linux2012.03.28 02:14

latex의 dvi 파일을 txt로 바꿔주기    

catdvi -e 1 -U file.dvi | sed -re "s/\[U\+2022\]/*/g" | sed -re "s/([^^[:space:]])\s+/\1 /g" > file.txt


이 한줄의 스크립이 엄청난 힘을 가지고 있다..

Posted by blindfish