howto · 2023-01-30
Un script bash simple que obtiene el nombre del archivo y su extensión por separado.