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, mas, mesmo assim, é um incômodo.


Descobri recentemente que o senhor pode alterar rapidamente a extensão de um arquivo com esse atalho prático:



# mv filename.{old,new}
mv code.{txt,js}


A sintaxe entre chaves oferece uma maneira de trocar rapidamente a extensão do arquivo sem precisar repetir o nome do arquivo. Muito bom!

  • Mais 5 APIs HTML5 que o senhor não sabia que existiam

    O Revolução do HTML5 nos proporcionou algumas APIs JavaScript e HTML incríveis. Algumas são APIs que já sabíamos que precisávamos há anos, outras são ajudantes de ponta para dispositivos móveis e desktops. Independentemente da força ou da finalidade da API, qualquer coisa que nos ajude a fazer melhor nosso trabalho é uma…

  • Crie raios giratórios com CSS3: Revisitado
  • Controles deslizantes do Facebook com Mootools e CSS

    Uma das melhores partes de ser um desenvolvedor que usa o Facebook é que posso obter ótimas ideias para o aprimoramento progressivo de sites. O Facebook incorpora muitos recursos avançados de JavaScript e AJAX: carregamento de fotos por seta para a esquerda e para a direita, menus suspensos, janelas modais e…

  • Barras de rolagem personalizadas no WebKit