Renomear Extensão de Arquivos
Publicado por joao felipe 12/11/2004
[ Hits: 13.635 ]
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
Instalação do Gentoo - Parte 1
Deixando o Gnome bonitão em qualquer distribuição
Como ativar o módulo de cancelamento de ruído no Pipewire
Como escolher o melhor escalonador de CPU para melhorar o desempenho da máquina
Curiosidade sobre DOOM Guy e Isabelle de Animal Crossing
Inicializando servidor Ubuntu na AWS e rodando apache em Container
Papagaiando (enfeitando) o KDE com efeitos do KWiN Burn My Windows
Como centralizar o widget Gerenciador de Tarefas Apenas Com Ícones do Painel do KDE
Checar seu IP externo no terminal
executar arquivo como programa pelo terminal linux ubuntu [RESOLVIDO] (9)
Dúvidas com pacotes descontinuados (1)
GRUB do Debian 12 não detecta segundo Linux instalado em partição BTRF... (31)