mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-09 10:40:34 -05:00
1,008 B
1,008 B
date | draft | math | medium_enabled | medium_post_id | tags | title |
---|---|---|---|---|---|---|
2021-08-28 02:00:00 | false | false | true | ddf23ae64f9a | Convert DJVU to PDF |
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"