pingouinux a écritOui, mais :
$ echo $moyenne
100.00000000000000000000
$ echo ${moyenne%%0*}
1
Éventuellement ceci :
$ sed 's/0*$//' <<<${moyenne}
100.
Effectivement Pingouinux, la méthode que j'ai proposée ne marche pas à tous les coups. En fait, après relecture attentive du man de bash, la bonne syntaxe est la suivante
echo ${moyenne%%*(0)}
Vous l'avez bien compris, l'idée est de virer les zéros non significatifs sans avoir une idée a priori de leur nombre.
Je proposerais bien
sed -e 's/0*$//' -e 's/\.$//' <<<${moyenne}
Mais on doit bien trouver une manière de virer le point final en bash s'il n'y a pas de zéro qui reste. Je m'attelle à ça et je vous donne le code qui va bien.
Amicalement.
Jean-Marie