$RAMDOM et bash

Résolu
cseguino -  
dubcek Messages postés 18627 Date d'inscription   Statut Contributeur Dernière intervention   -
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. dubcek Messages postés 18627 Date d'inscription   Statut Contributeur Dernière intervention   5 659
     
    hello
    $ printf "%f\n" $RANDOM
    5225.000000
    $ 
    
    0
    1. cseguino
       
      les décimales doivent être non nulles.
      Merci.
      0
    2. jipicy Messages postés 40842 Date d'inscription   Statut Modérateur Dernière intervention   4 898
       
      Salut,

       echo $RANDOM,$RANDOM

      ;-))
      0
    3. dubcek Messages postés 18627 Date d'inscription   Statut Contributeur Dernière intervention   5 659
       
      $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
      $ 
      0