Ejercicios de Bash: conocer la extensión de un fichero en Linux