#!/bin/env bash filename="${1}" if [ -z "${filename}" ]; then echo please provide a file name exit 1 fi ps2pdf -dPDFSETTINGS=/ebook "${filename}" "small_${filename}"