$RAMDOM et bash
Résolu
cseguino
-
dubcek Messages postés 18627 Date d'inscription Statut Contributeur Dernière intervention -
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
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