mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-22 16:26:28 -05:00
989 B
989 B
title | date | draft | tags | math | medium_enabled |
---|---|---|---|---|---|
Convert DJVU to PDF | 2021-08-27T22:00:00-04:00 | false | false | true |
I've recently come across the DJVU file format before and needed to convert it to a PDF. The most reliable way I've found to do it is via the following command.
djvups FILENAME | ps2pdf - OUTPUT_FILE
Where FILENAME first gets converted to the PS file format which then gets converted to a PDF with the name OUTPUT_FILE. To make things easier, I wrote a little script that does this process automatically while preserving the filename.
#!/bin/bash
set -o errexit
set -o nounset
set -o pipefail
show_usage() {
echo "Usage: djvu2pdf [FILENAME]"
exit 1
}
if [ "$#" -ne 1 ]; then
show_usage
fi
if ! command -v djvups > /dev/null ; then
echo "djvups not found. Exiting..."
exit 1
fi
if ! command -v ps2pdf > /dev/null ; then
echo "ps2pdf not found. Exiting..."
exit 1
fi
djvups "$1" | ps2pdf - "${1%.*}.pdf"