Wednesday, November 05, 2014

Ubuntu: pdf to images and images to pdf

pdftoppm -png a_pdf_file.pdf img
convert *.png a_pdf_file_as_img.pdf

Tuesday, November 04, 2014

Git pretty tree alias

git config --global alias.tree "log --graph --full-history --all --color --pretty=format:\"%x1b[31m%h%x09%x1b[32m%d%x1b[0m%x20%s\""