Algumas vezes é útil converter nossos arquivos PDF para imagens, por exemplo, JPEG. Há programas para isso, e também podemos fazer a conversão via terminal de diversas formas. Esta é mais uma delas.
Primeiro vá ao diretório onde está o arquivo para conversão e digite:
Após o comando acima você terá uma imagem ppm para cada página. Se quiser converter apenas um intervalo de páginas, use a opção "-f pag_inicial -l pag_final", onde:
Como resultado você terá uma imagem para cada página do arquivo original. Agora, para converter as várias páginas do intervalo, escreva um script com o conteúdo abaixo:
E é só. Agora o arquivo PDF está todo convertido para imagens JPEG. Claro que você pode automatizar ainda mais o processo, incluindo o primeiro passo no script. Assim você sempre poderá fazer a conversão com apenas um comando no terminal. Mas esse último passo deixarei como incentivo para a criatividade de todos.
Até a próxima dica.
Primeiro vá ao diretório onde está o arquivo para conversão e digite:
$ ppm <nomedoarquivo>.pdf <nomedoarquivo>
* "pag_inicial" - é a primeira página do intervalo e
* "pag_final" - é a página final.
* "pag_final" - é a página final.
Como resultado você terá uma imagem para cada página do arquivo original. Agora, para converter as várias páginas do intervalo, escreva um script com o conteúdo abaixo:
for <nomedoarquivo> in *.ppm
do ppmtojpeg $<nomedoarquivo> > ${<nomedoarquivo>/.ppm/.jpg}
rm $<nomedoarquivo>
done
do ppmtojpeg $<nomedoarquivo> > ${<nomedoarquivo>/.ppm/.jpg}
rm $<nomedoarquivo>
done
Até a próxima dica.