Tengo esta cadena: FILE="serie temporada 1 cap 2.mp4" y quiero que a los numeros se les agregue un cero `0`, de tal manera que quede así: "serie temporada 01 cap 02.mp4" Intenté esto: N1=$(grep -o [0-9] <<< "$FILE") echo "${FILE//"$N1"/0"$N1"}" **¡Pero sólo funciona para cadenas que tengan un solo número!** ¿Alguna idea?