diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-06-03 03:50:12 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-06-03 14:22:16 +0200 |
| commit | db844d8979c17469012a079a051f60044532b6ed (patch) | |
| tree | e70e21cb65b69404f05e9c23fab1fc11ec0983ef /pullimap.md | |
| parent | 12e1af3f589a70d2e09b8dd873dbed28142154af (diff) | |
long-lived tests: sleep between 1ms and 999ms.
`shuf -n1 -i1-99` produces a number between 1 and 99, hence `sleep
"0.$(shuf -n1 -i1-99)"` pauses for some time between 100ms and 990ms.
Moreover it's not uniformly distributed as multiples of 100ms (0.100,
0.200, …, 0.900) have twice the probability of other numbers.
Diffstat (limited to 'pullimap.md')
0 files changed, 0 insertions, 0 deletions