#!/usr/local/gnu/bin/gawk -f # sburke@cpan.org Time-stamp: "2005-08-19 01:22:25 ADT" # # desc{ Select randomly from the command line parameters } # # E.g., # randy fee fie foe fum BEGIN { getline my_pid <"/dev/pid"; srand(systime() - my_pid * 2); # or just use srand under non-GNU awks print( ARGV[1 + int((ARGC - 1) * rand())] ); exit; }