Handy Media Tools
Useful and reusable media tools Package URL: https://github.com/danb0b/code_media_tools
Pandoc-Plus
A collection of utilities to make converting files easier in pandoc.
Shrink a PDF from the command line
gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/ebook \ -dNOPAUSE -dQUIET -dBATCH -sOutputFile=output.pdf input.pdf
About Me
I am a Robotics Researcher, director of the IDEAlab, and Assistant Professor in the Ira A.
Know More