En este archivo os enseñaremos cómo cambiar de nombre y extensión un fichero desde Linux. Y, lo que es mejor, cambiar varios al mismo tiempo.