Search Results: tag:pdf

8 件ヒットしました。

pdf linux_command PDF にフォントが埋め込まれているかを確認する

pdffonts で emb の項目を見る。

pdffonts file.pdf

pdf linux_command PDF の情報(ページ数など)を表示する

pdfinfo で PDF の情報を取得できる。

pdfinfo file.pdf

pdf linux_command PDF の特定のページを抜き出す

pdftk input.pdf cat 53-60 output out.pdf

とすると input.pdf の53-60ページを抜き出して out.pdf として保存する。

dvipdfmx pdf linux_command dvi を pdf に変換する

日本語なら dvipdfmx を使うのが一般的。

dvipdfmx file.dvi

とすると file.pdf が作成される。

「-p」でページサイズ、「-o」で出力ファイルを指定できる。

dvipdfmx -p a3 -o out.pdf file.dvi

gs pdf linux_command pdf を一度、ビットマップ画像にして、再度 pdf にする

なぜか Kindle で読めない pdf があり、 一度、ビットマップ画像にしてから、再度 pdf にした。 画像のサイズは -r オプションで解像度の指定で調整する。

gs -r300 -dEPSCrop -dTextAlphaBits=4 -sDEVICE=png16m -sOutputFile=%02d.png -dBATCH -dNOPAUSE

とすると 01.png、02.png、... という画像ができる。 ここで、必要があれば画像サイズを変更しておく。 画像をそれぞれ pdf に変換する。ここでは convert を使った。

from=png; to=pdf; ls *.$from | sed -e "s/.$from$//" | xargs --replace -n1 -P2 convert {}.$from {}.$to

pdf に変換して

gs -dSAFER -dQUIET -sDEVICE=pdfwrite -sOutputFile=out.pdf -DNOPAUSE *.pdf

で結合する。

png を pdf に変換するところ(もしくは結合するところ)で、 もっとファイルサイズを圧縮したいのだけれど、 方法がよくわからなかった。

linux_command djvu pdf djvu を pdf に変換する

djvu2pdf ( http://sourceforge.jp/projects/freshmeat_djvu2pdf/ ) を使うと簡単にできる。

djvu2pdf file.djvu

とすると file.pdf ができる。

pdf linux_command 複数の PDF を結合してひとつにする

pdftk を使う。結合したい PDF (ここではワイルドカードで指定)の後に "cat output" として出力 PDF の名前を指定する。

pdftk *.pdf cat output out.pdf

オプションの指定にハイフンを使わないので変な感じがする。

pdf linux_command PDF から画像を取り出す

pdfimages を使う。 PDF を指定した後に、出力画像のプレフィックスを指定する。

pdfimages input.pdf img