Mudando a extensão de vários arquivos
Eu estou começando no mundo dos scripts e para praticar resolvi fazer um que mudasse a extensão de vários arquivos de um mesmo diretório. Fiz de diversas formas, até que cheguei descobri o basename que me deu tudo que eu precisava. O Código está logo abaixo para quem quiser copiar, sugerir e opinar. Ainda quero melhorar esse script, principalmente a mensagem que fica aparecendo quando não são encontrados arquivos. Valeu! ;)
Por: Luiz Eduardo Santos de Carvalho
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)
Visualizar câmeras IP ONVIF no Linux sem necessidade de instalar aplicativos
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
E aí? O Warsaw já está funcionando no Debian 13? (9)
Problema com o Centro de Aplicativos Ubuntu 25.04 (2)
linux mint reconhece microfone de lapela como fone de ouvido sem micro... (6)