diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2017-07-02 17:36:37 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2017-07-02 22:57:07 +1200 |
commit | 95276f25769a0607cda50041169197d0522b98ff (patch) | |
tree | 3a4738901390c94f76de6ee7b6394d39b4c1ed00 /games/pks.awk | |
parent | Coerce seed to number (diff) | |
download | dotfiles-95276f25769a0607cda50041169197d0522b98ff.tar.gz dotfiles-95276f25769a0607cda50041169197d0522b98ff.zip |
Lots of cleanup of awk scripts
Mostly inspired by suggestions from gawk --lint
Diffstat (limited to 'games/pks.awk')
-rw-r--r-- | games/pks.awk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/games/pks.awk b/games/pks.awk index 4c28625c..b71d2dc4 100644 --- a/games/pks.awk +++ b/games/pks.awk @@ -13,7 +13,9 @@ BEGIN { } # Seed the random number generator - "rnds 2>/dev/null" | getline seed + rnds = "rnds 2>/dev/null" + rnds | getline seed + close(rnds) if (length(seed)) srand(seed + 0) else |