Ctrl-p を押してもファイルが大きすぎたりして、 PNG ファイルに変換できないことがある。 エラーメッセージは次の通り。
xpmtoppm: can't parse color names database line - "! $XConsortium: rgb.txt,v 10.41 94/02/20 18:39:36 rws Exp $ " xpmtoppm: line too long convert: missing an image filename `png:-'.
'png:-' を見かけた場合には、いったん EPS 形式で出力し、 *.eps を作成したあと、gimp で *.eps を開き、 「別名で保存する」を選び、PNG 形式を選んで保存すると、 変換できる。
よく分からない場合は OBJ ファイルだけでもよいので、提出する。 mv して名前を変えたりしても意味がない。
ファイルがこわれているかは、 ls -l したときにファイルの大きさがゼロであったり、 ホームページに掲載したときに alt タグの部分しかない場合である。