awk peut le faire tout seul ...

#!/bin/sh
[..]
filenum= echo $fileTrig |awk -F '_' '{print 4ドル}' | awk -F '.' '{printf 1ドル}' # pourquoi awk | awk?

echo $filenum # me sort le bon numero
numb=$(($filenum)) # passe le numero dans une variable numerique
if [ "$numb" -le 250 ]; then
echo "OK" $numb
fi


A mon avis tu peux t'en sortir avec awk et la fonction split ou sub

un truc comme ca:

filenum= echo $fileTrig |awk -F '_' '{
split (4,ドルout,".")
if (out[2] <250) {
print "OK " out[2]
}
}'

Pas testé mais si tu me donne trois ou quatre exemples de fichiers ....