Ubuntu
bash-completion package

  1. Bug #316943
  2. Comment #2

Comment 2 for bug 316943

Revision history for this message
Dave Walker (davewalker) wrote :

BUG

Hi Jakob,

Thanks for reporting this bug and also finding a patch. I did attempt to use ps2pdf to compress a PDF and found that when used on Ubuntu's shipped example content, i did indeed make the file size smaller. However, when i ran it against a PDF generated from firefox print-to-file (PDF), i found it actually made the resulting PDF larger. The other bug that this introduces, ps2pdf's default behaviour is to save the resulting filename, changing the file extension from *.ps to *.pdf. However, without changes to ps2pdf it will save the resulting output to *.pdf.pdf which is less than optimal IMO.

Using another tool, such as pdftk with the compress option did make the resulting PDF smaller. This makes me wonder if using ps2pdf in the situation you described is generally optimal for all users.

Suggestions welcome!