Acceso Directo para CAMBIAR la Extensión del Archivo - ¡Truco EFICAZ!
Accede de forma RÁPIDA y SENCILLA para cambiar la extensión del archivo 🚀. Aprende más sobre este PROCESO y optimiza tu trabajo hoy mismo. ¡No te pierdas!
- HostIN
- Programación
- Acceso directo para cambiar la extensión del archivo -
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!
Te podría interesar...
Cómo crear una tarjeta de Twitter - 7 formas sencillas de encontrar código malicioso en un sitio de WordPress Los sitios de empresas de alojamiento más confiables en diciembre de 2020 Nuevos gTLD para pequeñas empresas Razones para usar VoIP para su pequeña empresa emergente Una guía para comprar el mejor software de grabación de pantalla Ahorre hasta $ 7K + con la calculadora de ahorro de alojamiento web 5 razones para elegir WordPress para su tienda de comercio electrónico Los mejores cursos en línea para pequeñas empresas: más de 20 cursos
Deja una respuesta Cancelar la respuesta
Lo siento, debes estar conectado para publicar un comentario.