したかった。かすかな記憶でimagemagickのconvertを使うかなと思ったけど、そう言えばできなかったことを思い出した。そこでinkscapeの出力を使うことにした。
とりあえず下のコマンドで全てのpngファイルを全てpdfへ一括変換できたので良しとする。
for i in ./*.png ;do inkscape $i --export-pdf=$(basename -s .png $i ).pdf ;done
basenameって問答無用でファイル名抽出できると思ってたけど、実は拡張子の指定が必要だったのね。知らなかった。