diff options
| -rw-r--r-- | bin/rndi.awk | 5 | ||||
| -rw-r--r-- | bin/rndl.awk | 5 | ||||
| -rw-r--r-- | games/pks.awk | 5 |
3 files changed, 12 insertions, 3 deletions
diff --git a/bin/rndi.awk b/bin/rndi.awk index 07c69bc7..7d5a5b96 100644 --- a/bin/rndi.awk +++ b/bin/rndi.awk @@ -16,10 +16,13 @@ BEGIN { if (lower >= upper) fail("Bounds must be numeric, first lower than second") - # Seed the random number generator + # Get a random seed if rnds(1df) available rnds = "rnds 2>/dev/null" rnds | getline seed close(rnds) + + # Truncate the seed to 8 characters because mawk might choke on it + seed = substr(seed,1,8) if (length(seed)) srand(seed + 0) else diff --git a/bin/rndl.awk b/bin/rndl.awk index 925235ee..99f5b4e1 100644 --- a/bin/rndl.awk +++ b/bin/rndl.awk @@ -6,10 +6,13 @@ BEGIN { # Name self self = "rndl" - # Seed the random number generator + # Get a random seed if rnds(1df) available rnds = "rnds 2>/dev/null" rnds | getline seed close(rnds) + + # Truncate the seed to 8 characters because mawk might choke on it + seed = substr(seed,1,8) if (length(seed)) srand(seed + 0) else diff --git a/games/pks.awk b/games/pks.awk index b71d2dc4..1a441980 100644 --- a/games/pks.awk +++ b/games/pks.awk @@ -12,10 +12,13 @@ BEGIN { ARGV[1] = "/usr/share/dict/words" } - # Seed the random number generator + # Get a random seed if rnds(1df) available rnds = "rnds 2>/dev/null" rnds | getline seed close(rnds) + + # Truncate the seed to 8 characters because mawk might choke on it + seed = substr(seed,1,8) if (length(seed)) srand(seed + 0) else |