Alterar a extensão de um arquivo parece ser algo que o senhor faria com frequência suficiente para saber como fazer isso na linha de comando. Uma parte irritante de mover um arquivo é repetir o nome do arquivo uma segunda vez quando tudo o que quero fazer é alterar a extensão. É um pequeno incômodo, […]