Renomear Extensão de Arquivos
Publicado por joao felipe 12/11/2004
[ Hits: 13.886 ]
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
Bloquear contas em servidor Zimbra após 45 dias
Instalador e ativador da placa Real 3D Captura.
Atualizando o Passado: Linux no Lenovo G460 em 2025
aaPanel - Um Painel de Hospedagem Gratuito e Poderoso
O macete do Warsaw no Linux Mint e cia
Visualizar arquivos em formato markdown (ex.: README.md) pelo terminal
Dando - teoricamente - um gás no Gnome-Shell do Arch Linux
Como instalar o Google Cloud CLI no Ubuntu/Debian
Mantenha seu Sistema Leve e Rápido com a Limpeza do APT!
Procurando vídeos de YouTube pelo terminal e assistindo via mpv (2025)
Pastas da raiz foram para a área de trabalho [RESOLVIDO] (10)
Será que eu deveria apreender C/C++ para desenvolver para Linux? (4)