Acceso directo para cambiar la extensión del archivo -

Cambiar la extensión de un archivo parece algo que harías con la suficiente frecuencia como para saber cómo hacerlo desde la línea de comandos. Una parte molesta de mover un archivo es repetir el nombre del archivo por segunda vez cuando todo lo que quiero hacer es cambiar la extensión. Una molestia menor, pero una molestia al fin y al cabo.

Recientemente descubrí que puedes cambiar rápidamente la extensión de un archivo con este práctico atajo:

# nombre de archivo mv.{antiguo,nuevo}código mv.{txt,js}

La sintaxis entre llaves proporciona una manera de cambiar rápidamente la extensión del archivo sin necesidad de repetir el nombre del archivo. ¡Dulce!