Às vezes, você pode precisar de renomear a extensão de vários arquivos de arquivo , a fim de abri-los todos com um programa diferente. Dentro do sistema operacional Linux, você pode realizar essa tarefa , acessando o terminal e usando um único comando. Você não precisa saber qualquer linguagem de programação , apenas como copiar e colar algumas linhas de texto. Então , não perca tempo alterando cada arquivo individualmente , você ficará surpreso com o quão rápido você pode começar o trabalho feito . Instruções
1
Abra o terminal Linux. Apesar de todas as distribuições de Linux é um pouco diferente , normalmente você pode acessar o terminal , selecionando " Menu " e depois em " Ferramentas do Sistema ".
2 Tipo
"$ ls" no terminal para listar o conteúdo de seu diretório atual . Em seguida, digite " cd $ pasta ", onde "pasta" é o nome do diretório que contém os vários arquivos dos quais você deseja alterar as extensões.
3
Type " ou velho no formato *. wma ,. . fazer cp $ antigo ` basename $ velho wma ` mp3 ; feito "onde" wma " é a extensão do arquivo atual e " mp3 " é a extensão para o qual você deseja alterar
4 . . .
Pressione a tecla "Return" , eo loop de código irá localizar e alterar cada uma das extensões de arquivo especificados.