$RAMDOM et bash

Résolu
Bonjour,

Je dois écrire un script en utilisant $RANDOM dont la sortie est par exemple :
1988.2365.

Je ne vois pas comment transformer le résultat de $RANDOM en un float.

Merci

1 réponse

  1. Contributeur
    hello
    $ printf "%f\n" $RANDOM
    5225.000000
    $ 
    
    1. les décimales doivent être non nulles.
      Merci.
    2. Modérateur
      Salut,

       echo $RANDOM,$RANDOM

      ;-))
    3. Contributeur
      $RANDOM est un entier. quel calcul veux-tu faire ?
      $ printf "%d.%d\n" $RANDOM $RANDOM
      12801.5578
      $ printf "%d.%d\n" $RANDOM $RANDOM
      11441.19320
      $ 
      $ echo "scale=4 ; $RANDOM/1000" | bc
      16.5030
      $ echo "scale=4 ; $RANDOM/1000" | bc
      7.7280
      $