keinwort · February 4, 2018 14:12
diff --git a/shrink-pdf.sh b/shrink-pdf.sh
 #!/bin/bash
 read -e -p "Please insert file: " file
 if test -e $file
 then pdf2ps $file tmp.ps && ps2pdf tmp.ps $file-small.pdf && rm tmp.ps
 else echo "File not found!"
 fi
	#!/bin/bash
	read -e -p "Please insert file: " file
	if test -e $file
	then pdf2ps $file tmp.ps && ps2pdf tmp.ps $file-small.pdf && rm tmp.ps
	else echo "File not found!"
	fi