Mudando a extensão de vários arquivos
Publicado por Luiz Eduardo Santos de Carvalho (última atualização em 25/11/2011)
[ Hits: 21.011 ]
Eu estou começando no mundo dos scripts e para praticar resolvi fazer um que mudasse a extensão de vários arquivos de um mesmo diretório.
Fiz de diversas formas, até que cheguei descobri o basename que me deu tudo que eu precisava.
O Código está logo abaixo para quem quiser copiar, sugerir e opinar.
Ainda quero melhorar esse script, principalmente a mensagem que fica aparecendo quando não são encontrados arquivos.
Valeu! ;)
#/bin/bash # # # Script que altera a extensão de vários arquivo de uma vez. # # # # Eduardo Carvalho, Novembro de 2011 EXTENSAO_ENTRADA="$1" # Atual extensão dos arquivos EXTENSAO_SAIDA="$2" # Nova extensão que terão os arquivos NOME="" # Nome do arquivo, sem extensão NOVO_NOME="" # Nome do arquivo após ser renomeado if [ $# -ne 2 ]; then echo "$(basename "$0"): erro de operandos" #TODO Try `basename --help' for more information. exit 1 fi #--- RENOMEIA ---# for ARQUIVO in *."$EXTENSAO_ENTRADA" do NOVO_NOME=$(basename "$ARQUIVO" "$EXTENSAO_ENTRADA")"$EXTENSAO_SAIDA" mv "$ARQUIVO" "$NOVO_NOME" && echo " $ARQUIVO -> $NOVO_NOME" done
Automatizando a Instalação do Firefox no Ubuntu 9.04 Jaunty Jackalope
Script que verifica se existem arquivos repetidos em dois diretórios
Modifique o script abaixo de modo que ele tenha funcionalidade total, ou seja, se o
Imprimindo textos com o comando "echo"
Papagaiando o XFCE com temas e recursos
WhatsApp com Chamadas no Linux via Waydroid
XFCE - quase um Gnome ou Plasma mas muito mais leve
LXQT - funcional para máquinas pererecas e usuários menos exigentes
Como cortar as partes de um vídeo com passagens de áudio em branco
Tiling automático no KDE Plasma
SNMP Scan no OCS Inventory só funciona com HTTPS corretamente configurado
Links importantes de usuários do vol (4)
GOG confirma suporte oficial ao sistema Linux: "o trabalho começo... (2)
Para os fãs de DOOM, um vídeo do Romero (com dublagem em pt-br disponí... (2)









