509びぼーろく; png --> pdf を一括変換

したかった。かすかな記憶でimagemagickのconvertを使うかなと思ったけど、そう言えばできなかったことを思い出した。そこでinkscapeの出力を使うことにした。

とりあえず下のコマンドで全てのpngファイルを全てpdfへ一括変換できたので良しとする。

for i in ./*.png ;do inkscape $i --export-pdf=$(basename -s .png $i ).pdf ;done

basenameって問答無用でファイル名抽出できると思ってたけど、実は拡張子の指定が必要だったのね。知らなかった。