| 2009-01-14 01:26:47 |
Jakob Unterwurzacher |
bug |
|
|
added bug |
| 2009-01-14 01:27:51 |
Jakob Unterwurzacher |
bug |
|
|
added attachment 'bash_completion.patch' (bash_completion.patch) |
| 2009-01-14 01:30:26 |
Jakob Unterwurzacher |
description |
ps2pdf will, despite it's name, happily process pdfs (i use it all the time this way to compress pdfs to reasonable sizes). But the tab completion will only show up .ps files, which is annoying. |
ps2pdf will, despite it's name, happily process pdfs (i use it all the time this way to compress pdfs to reasonable sizes). But the tab completion will only show up .ps files, which is annoying.
The attached patch fixes this. |
|
| 2009-02-22 15:37:56 |
Dave Walker |
bash-completion: status |
New |
Incomplete |
|
| 2009-02-22 15:37:56 |
Dave Walker |
bash-completion: statusexplanation |
|
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! |
|
| 2009-02-22 17:22:25 |
James Westby |
bash-completion: status |
Incomplete |
Triaged |
|
| 2009-02-22 17:22:25 |
James Westby |
bash-completion: importance |
Undecided |
Low |
|
| 2009-02-22 17:22:25 |
James Westby |
bash-completion: statusexplanation |
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! |
|
|
| 2009-02-22 17:23:04 |
James Westby |
bug |
|
|
assigned to bash-completion (Debian) |
| 2009-03-10 04:44:02 |
Bug Watch Updater |
bash-completion: status |
Unknown |
New |
|
| 2009-04-29 09:29:14 |
Launchpad Janitor |
bash-completion (Ubuntu): status |
Triaged |
Fix Released |
|
| 2009-08-04 12:11:28 |
Jakob Unterwurzacher |
bash-completion (Debian): status |
New |
Fix Released |
|
