aboutsummaryrefslogtreecommitdiff
path: root/games
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2017-07-02 17:36:37 +1200
committerTom Ryder <tom@sanctum.geek.nz>2017-07-02 22:57:07 +1200
commit95276f25769a0607cda50041169197d0522b98ff (patch)
tree3a4738901390c94f76de6ee7b6394d39b4c1ed00 /games
parentCoerce seed to number (diff)
downloaddotfiles-95276f25769a0607cda50041169197d0522b98ff.tar.gz
dotfiles-95276f25769a0607cda50041169197d0522b98ff.zip
Lots of cleanup of awk scripts
Mostly inspired by suggestions from gawk --lint
Diffstat (limited to 'games')
-rw-r--r--games/pks.awk4
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