Je découvre que maintenant la variable $RANDOM en bash ?
> echo $RANDOM
18349
> echo $RANDOM
22648
> echo $RANDOM
25505
Ou bien j'ai oublié ? ou ils sentaient pas bon...
> echo $RANDOM
18349
> echo $RANDOM
22648
> echo $RANDOM
25505
Ou bien j'ai oublié ? ou ils sentaient pas bon...
Comments