Renomear Extensão de Arquivos
Publicado por joao felipe 12/11/2004
[ Hits: 13.801 ]
Homepage: www.motokando.com
Este script serve para renomear a extensão de vários arquivos do diretório corrente.
Muito bom para estudar sobre o comando cut.
#!/bin/sh ######################################################### # Autor João Felipe Souza 12-11-2004 # qgfelipe@yahoo.com.br, felipejfs@bol.com.br # Agradecimentos ao SONGA, sempre bem vindo ao Pós 1821. ######################################################### if [ "$#" != 2 ] then echo "Uso: $0 <extensao_atual> <extensao_nova>" echo "Exemplo: $0 cdda.mp3 mp3" exit fi for file in *.$1 do novo=`echo $file | cut -d. -f1` mv $file $novo.$2 done exit 0
Script para manipulação fácil e rápida de usuários no Linux
Script que busca IP Livres em uma rede
Fechar contas em servidor Zimbra após 90 dias
Instalação do Eclipse for PHP Developers
Instalar e Configurar o Slackware Linux em 2025
Como configurar os repositórios do apt no Debian 12 em 2025
Passkeys: A Evolução da Autenticação Digital
Instalação de distro Linux em computadores, netbooks, etc, em rede com o Clonezilla
Como colorir os logs do terminal com ccze
Instalação Microsoft Edge no Linux Mint 22
Como configurar posicionamento e movimento de janelas no Lubuntu (Openbox) com atalhos de teclado
Máquinas Virtuais com IP estático acessando Internet no Virtualbox
Adapador Wi-Fi para de funcionar depois de alguns minutos no Ubuntu (2)
Compartilhando uma ideia sobre computação quantica (9)
Preciso atribuir um terceiro IP em uma placa de rede eth0. (7)