sous shell lorsqu'on fait un pipe? Fermé

Question

Bonjour, 
j'ai un problème que je ne parviens pas à comprendre ni à résoudre:

Quand je fais des:
echo $RANDOM
j'obtiens des nombres différents à chaque éxécution.

Par contre en faisant:
echo $RANDOM | cat
j'obtiens toujours le même résultat ( qui correspond au prochain "echo $RANDOM" dans mon shell )

j'en déduis que chaque "echo $RANDOM | cat" crée un sous-shell à chaque fois, tous dans le même état que mon shell actif, donc j'obtiens toujours le même nombre qui est le prochain de mon shell actif...)

Comment cela se fait il?
Comment, en ligne de commande, remédier au problème et envoyer à chaque exécution des valeurs différentes de $RANDOM dans un pipe ?


merci d'avance!



Configuration: Centos 5.4 / Firefox 3.6.23

mamiemando · Answer

Pour ma part :

(mando@aldur) (~) $ echo $RANDOM
26483
(mando@aldur) (~) $ echo $RANDOM
22861
(mando@aldur) (~) $ echo $RANDOM | cat
32160
(mando@aldur) (~) $ echo $RANDOM | cat
16745
(mando@aldur) (~) $ echo $RANDOM | cat
15298

Du coup je n'ai pas compris le problème.

gnugo · Answer

J'ai créé un script "essai.sh" pour tester:
#!/bin/bash
echo $RANDOM
echo $RANDOM
echo $RANDOM | cat
echo $RANDOM | cat
echo $RANDOM
echo $RANDOM

Et voici le résultat que j'obtiens:
$ ./essai.sh 
1662
10022
6291
6291
6291
10791

dubcek · Answer

hello
j'ai des résultats différents
$ cat f1
#!/bin/bash

echo $RANDOM
echo $RANDOM
echo $RANDOM | cat
echo $RANDOM | cat
echo $RANDOM
echo $RANDOM

$ ./f1
5393
14970
816
27615
9518
31088
$

zipe31 · Answer

Salut,

Idem pour moi, comme mes collègues mamiemando et dubcek, pas de problème  ;-)

Est-ce qu'avec  "cat <<<$RANDOM" à la place de "echo $RANDOM | cat" tu as toujours le même résultat ?

dubcek · Answer

autre exemple
$ seq 1 10 | xargs -L1 bash -c "echo $RANDOM"
7593
7593
7593
7593
7593
7593
7593
7593
7593
7593
$ 
$ seq 1 10 | xargs -L1 bash -c 'echo $RANDOM'
8097
13743
12160
24067
17692
28401
15929
2341
31589
7570
$

mamiemando · Answer

Une méthode plus violente qui pourrait marcher et basée sur /dev/random : 
http://www.christopher.compagnon.name/sitewww/shell-gennumber.html 

.. car pour moi la réinitialisation de $RANDOM dépend de ton shell, tandis que /dev/random est gérée par des couches plus basses. 

Bonne chance

gnugo · Answer

cat <<<$RANDOM me donne également le même résultat à chaque fois!!

En fait j'ai posté ici pour essayer de comprendre pourquoi mon shell agit de cette façon, mais oui je pourrais m'en sortir avec /dev/random ou autre.


Auriez vous une idée de ce qui pourrait causer ces résultats? Je ne trouve pas:\

gnugo · Answer

Je viens de m'apercevoir que quand je lance un nouveau shell, cela fonctionne! j'ai bien des résultats différents!
Par contre des que je fais un simple echo $RANDOM, je reviens à ma situation anormale!

Voyez vous même...

essai.sh
#!/bin/bash

cat <<<$RANDOM
cat <<<$RANDOM
cat <<<$RANDOM
echo $RANDOM
echo $RANDOM
cat <<<$RANDOM
cat <<<$RANDOM
cat <<<$RANDOM

$ ./essai.sh 
12634
387
31718
16059
7528
21592
21592
21592

essai2.sh
#!/bin/bash

echo $RANDOM | cat
echo $RANDOM | cat
echo $RANDOM | cat
echo $RANDOM
echo $RANDOM
echo $RANDOM | cat
echo $RANDOM | cat
echo $RANDOM | cat

$ ./essai2.sh 
32552
31451
18744
16255
16297
11011
11011
11011

Comment est-ce possible?
Avez vous les mêmes résultats ?

dubcek · Answer

quelle version du shell ?
bash --version

Sous shell lorsqu'on fait un pipe?

9 réponses

Discussions similaires