Mudando a extensão de vários arquivos
Publicado por Luiz Eduardo Santos de Carvalho (última atualização em 25/11/2011)
[ Hits: 20.518 ]
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
Decodificando e gravando cds de áudio
Enviar mensagem ao usuário trabalhando com as opções do php.ini
Meu Fork do Plugin de Integração do CVS para o KDevelop
Compartilhando a tela do Computador no Celular via Deskreen
Como Configurar um Túnel SSH Reverso para Acessar Sua Máquina Local a Partir de uma Máquina Remota
Configuração para desligamento automatizado de Computadores em um Ambiente Comercial
Compartilhamento de Rede com samba em modo Público/Anônimo de forma simples, rápido e fácil
Cups: Mapear/listar todas as impressoras de outro Servidor CUPS de forma rápida e fácil
Criando uma VPC na AWS via CLI
Tem como instalar o gerenciador AMD Adrenalin no Ubuntu 24.04? (14)
Tenho dois Link's ( IP VÁLIDOS ), estou tentando fazer o failover... (0)
Pendrive não formata de jeito nenhum (4)