Hoje tive um problema no latex e precisei converter todas as figuras de .eps para .jpg. Achei algumas referências interessantes:
Conversão de figuras:
http://fourforces.wordpress.com/2008/03/27/covert-eps-files-to-jpg-in-linux/
Acessando todos os arquivos em um diretório
http://www.linuxquestions.org/questions/programming-9/bash-script-access-all-files-directory-283582/
Juntando os dois:
#!/bin/bash
for a in *; do
if [ -f "$a" ]; then
b="${a%.eps}" #retira a extensao do arquivo
gs -sDEVICE=jpeg -dJPEGQ=100 -dNOPAUSE -dBATCH -dSAFER -r300 -sOutputFile=$b.jpg $a
mogrify -trim -resize 800x600 $b.jpg
fi
done
Salve o script em um arquivo com a extensão .sh . Depois disso dê permissão de execução no arquivo com chmod u+x script.sh. Para executar... ./script.sh
O objetivo deste blog é apresentar soluções para os problemas que vou encontrando utilizando as ferramentas do Linux.
Assinar:
Postar comentários (Atom)
Arquivo do blog
-
▼
2010
(34)
-
▼
abril
(12)
- Ipod + Ubuntu
- Backup (1): Arquivos muito grandes com tar + split
- Configuração Evolution com Gmail e Google Agenda
- Desligando a máquina em um horário específico
- Criar página de redirecionamento
- LaTeX Error: Cannot determine size of graphic (no ...
- Player mais rápido do Linux. mpg123
- Processos em execução - Comando Top
- Verificar tamanho de pastas em um diretório
- Abrir o terminal no diretório que você está trabal...
- Convertendo arquivos de iso para utf-8
- Convertendo todos arquivos .eps em um diretório pa...
-
▼
abril
(12)
Prezado Zen Linux,
ResponderExcluirGostaria de agradecer a este seu script. Modifiquei-o e utilizei para um problema que tinha. Sem a sua ajuda teria perdido muito tempo pesquisando e desenvolvendo da estaca zero.
Att.
Luís Amaral