Skip to content

Instantly share code, notes, and snippets.

@okwrtdsh
Last active June 12, 2018 00:15
Show Gist options
  • Save okwrtdsh/8699a66591e0eddbdf0492e7f06e5490 to your computer and use it in GitHub Desktop.
Save okwrtdsh/8699a66591e0eddbdf0492e7f06e5490 to your computer and use it in GitHub Desktop.
function mkpdf() {
  while [ $# -ne 0 ]; do
    name=${1%.*}
    name=${name:="report"}
    dname=$(dirname $name)
    platex -output-directory=$dname $name
    if [ $? -eq 0 ]
    then
      platex -output-directory=$dname $name
      pbibtex $name
      platex -output-directory=$dname $name
      platex -output-directory=$dname $name
      dvipdfmx -o $name.pdf $name
    fi
    shift
  done
}
zstyle ':completion:*:*:vim:*' file-patterns '^*.(aux|log|pdf|bbl|dvi|blg):source-files' '*:all-files'
zstyle ':completion:*:*:mkpdf:*' file-patterns '^*.(aux|log|pdf|bbl|dvi|blg):source-files' '*:all-files'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment