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
Patrocínio
Destaques
Artigos
Como aprovar Pull Requests em seu repositório Github via linha de comando
Como gerar um podcast a partir de um livro em PDF
Automatizando digitação de códigos 2FA no browser
Resolver problemas de Internet
Como compartilhar a tela do Ubuntu com uma Smart TV (LG, Samsung, etc.)
Dicas
Organizando seus PDF com o Zotero
Erro no realm join [Resolvido]
Um programa para baixar vídeos: Parabolic
Como Definir o Painel Principal em Múltiplos Monitores no Linux Mint
Tópicos
Sempre que vou baixar algum pacote acontece o erro dpkg (1)
Driver de rede realtek 8821ce bugado (9)
Não consigo montar meu cartão SD (3)
Top 10 do mês
-
Xerxes
1° lugar - 73.413 pts -
Fábio Berbert de Paula
2° lugar - 59.190 pts -
Mauricio Ferrari
3° lugar - 17.758 pts -
Buckminster
4° lugar - 17.147 pts -
Alberto Federman Neto.
5° lugar - 14.975 pts -
Daniel Lara Souza
6° lugar - 14.143 pts -
edps
7° lugar - 13.680 pts -
Diego Mendes Rodrigues
8° lugar - 13.155 pts -
Alessandro de Oliveira Faria (A.K.A. CABELO)
9° lugar - 13.070 pts -
Andre (pinduvoz)
10° lugar - 10.393 pts
Scripts
A maior comunidade GNU/Linux da América Latina! Artigos, dicas, tutoriais, fórum, scripts e muito mais. Ideal para quem busca auto-ajuda.
Site hospedado por:
