Convertendo diferentes formatos rapidamente pelo terminal

Hoje darei uma dica bem interessante para ser usada via linha de comando. Embora ele seja motivo de “medos e arrepios” entre muito usuários, quem domina essa ferramenta sabe do seu poder e praticidade.

O terminal é tão poderoso que é possível fazer conversão de inúmeros tipos de arquivos diretamente dele, sem a necessidade de softwares de terceiros.

É um processo bastante simples, mas para deixar mais fácil para os inciantes, vamos assumir que seus arquivos estão na sua pasta pessoal. Agora abra o terminal e execute o seguinte comando:

convert -density 300 arquivo.pdf arquivo.jpg

Basta substituir o “arquivo” e extensão pelo nome do arquivo que deseja converter. Detalhe importante: evite deixar os nomes dos seus arquivos com espaço, por exemplo: “Foto carnaval 2011.jpg“; coloque “Fotocarnaval2011.jpg“, certo?

Explicando:

1. convert: comando para converter o arquivo;
2. -density 300: é o número de pixels no novo arquivo, no caso 300 pixels; caso queira, pode deixar sem essa opção e o arquivo será convertido na opção padrão: convert arquivo.pdf arquivo.jpg;
3. arquivo.pdf arquivo.jpg: diz para converter o arquivo .pdf para .jpg.

Testei vários formatos e a maioria deu certo, mas vale ressaltar que o comando é mais indicado para conversão de imagens. Arquivos de .pdf para .doc não rola por esse comando, por exemplo.

Abraços!