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! ** Changed in: bash-completion (Ubuntu) Status: New => Incomplete -- ps2pdf also takes pdf as input, not only ps https://bugs.launchpad.net/bugs/316943 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs