Renomear Extensão de Arquivos
Publicado por joao felipe 12/11/2004
[ Hits: 13.922 ]
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 de data e hora do sistema
Script para Criação de ips para utilizar em controle de banda
O que é o THP na configuração de RAM do Linux e quando desabilitá-lo
Comparação entre os escalonadores BFQ e MQ-Deadline (acesso a disco) no Arch e Debian
Conciliando o uso da ZRAM e SWAP em disco na sua máquina
Servidor de Backup com Ubuntu Server 24.04 LTS, RAID e Duplicati (Dell PowerEdge T420)
Como unir duas coleções de ROMs preservando as versões traduzidas (sem duplicatas)
Como instalar o Telegram Desktop no Ubuntu 24.04
Overclocking Permanente para Drastic no Miyoo Mini Plus
Problemas de chaves (/usr/share/keyrings) no Debian
Converter os repositórios Debian para o novo formato com as chaves