Este script serve para renomear a extensão de vários arquivos do diretório corrente.
Muito bom para estudar sobre o comando cut.

• Download troca_extensao.sh
• Enviar nova versão

Esconder código-fonte

#!/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

Manutenção de Usuários Proxy Autenticado com NCSA

Localiza Arquivos no sistema!

S-info

Verificar se o java está no PATH

Update browscap