$RAMDOM et bash

Résolu/Fermé

cseguino - 14 sept. 2010 à 11:22
dubcek Messages postés 18718 Date d'inscription lundi 15 janvier 2007 Statut Contributeur Dernière intervention 22 mars 2024 - 14 sept. 2010 à 11:53

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

A voir également:

$RAMDOM et bash
Retour à la ligne bash ✓ - Forum Shell
Bash path - Astuces et Solutions
Bash permission non accordée - Forum Shell
Bingo bash free - Télécharger - Divers Jeux
Bash arguments - Astuces et Solutions

1 réponse

Réponse 1 / 1

dubcek Messages postés 18718 Date d'inscription lundi 15 janvier 2007 Statut Contributeur Dernière intervention 22 mars 2024 5 615
14 sept. 2010 à 11:38

hello

$ printf "%f\n" $RANDOM
5225.000000
$

cseguino
14 sept. 2010 à 11:44

les décimales doivent être non nulles.
Merci.

jipicy Messages postés 40842 Date d'inscription jeudi 28 août 2003 Statut Modérateur Dernière intervention 10 août 2020 4 895
14 sept. 2010 à 11:45

Salut,

 echo $RANDOM,$RANDOM

;-))

dubcek Messages postés 18718 Date d'inscription lundi 15 janvier 2007 Statut Contributeur Dernière intervention 22 mars 2024 5 615
14 sept. 2010 à 11:53

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

Discussions similaires

[BASH] Existe t-il un boucle do while?

[shell] Comment additionner des valeurs

bash boucle for avec une variable liste

minimal bash-like line editing is supported

ecrire dans un fichier (bash)

Discussions similaires

Newsletters