Renomear Extensão de Arquivos
Publicado por joao felipe 12/11/2004
[ Hits: 13.953 ]
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
Renomeando múltiplos arquivos com espaços
Manutenção de Usuários Proxy Autenticado com NCSA
Wayland em alta, IA em debate e novos ventos para distros e devices
Qt 6.10 e Python 3.14 puxam o ritmo do software livre nesta quarta
Atualizações de Apps, Desktop e Kernel agitam o ecossistema Linux nesta terça-feira
Miyoo Mini Plus + Onion OS (Linux)
IA local no bolso, novo visual no Raspberry Pi OS e mais destaques do software livre
Como mudar o nome de dispositivos Bluetooth via linha de comando
Adicionando o repositório backports no Debian 13 Trixie
queria saber como instalar o android power tools igual ao winux no lin... (7)
Como listar os arquivos em "bloquin... [RESOLVIDO] (6)
Como colocar atalho para uma pasta na área de trabalho do Ubuntu 24.04... (2)