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…
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…