/usr/share/runawk/isnum.awk is in runawk 1.6.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | # Written by Aleksey Cheusov <vle@gmx.net>, public domain
#
# This awk module is a part of RunAWK distribution,
# http://sourceforge.net/projects/runawk
#
############################################################
# =head2 isnum.awk
#
# =over 2
#
# =item I<isnum (NUM)>
#
# returns 1 if an argument is a number
#
# =back
#
function isnum (v){
return v == v + 0
}
|