Skip to content

Instantly share code, notes, and snippets.

@wchargin

wchargin/gist:9753838

Created March 25, 2014 01:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save wchargin/9753838 to your computer and use it in GitHub Desktop.
Save wchargin/9753838 to your computer and use it in GitHub Desktop.
Download ZIP
vim, pdflatex, evince
Raw
gistfile1.sh
# in ~/.bashrc
vle () {
if [ -n "$1" ]; then
name=$(basename -s ".tex" "$1") # trim off ".tex" if there is one
vim ${name}.tex && pdflatex ${name}.tex && evince ${name}.pdf
fi
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment