2020-06-01から1ヶ月間の記事一覧
使わないフォントなどを見えなくすることもできるので便利 sudo apt install font-manager
以前imagemagicで変換したが、pdftoppmのほうが簡便であった 参照 PDFをJPEG画像に変換したい場合はImagemagickよりもpdftoppmの方が高速で便利 | Tips of Rubbish 【 pdftoppm 】コマンド――PDFファイルを画像に変換する:Linux基本コマンドTips(288) - @…