Setelah gagal mencoba beberapa opsi untuk merender font sebagai garis besar (termasuk pertanyaan ini dan pstoedit), saya menemukan cara untuk dengan mudah mengonversi PDF menjadi bentuk raster menggunakan ImageMagick:
convert -density 600 +antialias input.pdf output.pdf
Ini membuat PDF yang dirender pada 600 dpi, dengan antialias dimatikan (tidak diperlukan pada resolusi tersebut).
File keluaran sangat besar (~30 MB untuk dokumen 8 halaman) dan sangat lambat untuk dicetak, tetapi dapat berfungsi selama printer memiliki cukup memori untuk merender konten.
Saya pikir cara pilihan saya saat ini untuk melakukannya adalah:
-
Gunakan pdftoppm untuk mengonversi file PDF menjadi serangkaian gambar.
$ pdftoppm source.pdf keluaran -png
-
Gunakan img2pdf untuk membuat file pdf dari gambar tersebut.
$ img2pdf *.png -o output.pdf
Kabar baiknya adalah Anda dapat membuat skrip bash untuk mengotomatiskan seluruh proses untuk Anda.
Berikut adalah skrip bash yang akan menyaring semua file pdf di dalam direktori dan mempertahankan yang asli di direktori baru "asli".
#!/bin/bash
mkdir "originals";
for filename in ./*.pdf; do
pdftoppm "$filename" output -png
mv "$filename" ./originals
img2pdf *.png "-o" "$filename"
rm *.png
done
Kredit:jawaban img2pdf &jawaban pdftoppm &bantuan skrip bash:1 &2
(Catatan tambahan) Anda dapat menginstal img2pdf menggunakan:
$ sudo apt instal img2pdf