$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
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