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
Programa IRPF - Guia de Instalação e Resolução de alguns Problemas
Criando uma Infraestrutura para uma micro Empresa
Criar entrada (menuentry) ISO no Grub
Como gerar qualquer emoji ou símbolo unicode a partir do seu teclado
Instalando o Pi-Hole versão v5.18.4 depois do lançamento da versão v6.0
Instalar o VIM 9.1 no Debian 12
Como saber o range de um IP público?
Muitas dificuldades ao instalar distro Linux em Notebook Sony Vaio PCG-6131L (VPCEA24FM)
impressora de rede via dominio - gpo (1)
Discussão sobre monitoramento da integridade de arquivos (6)
Problema no boot do Linux Mint Cinnamon 22 (4)