Name	Size	Mode	Actions
assert.awk	383	0644	editdlrm
bits2str.awk	334	0644	editdlrm
cliff_rand.awk	307	0644	editdlrm
ctime.awk	234	0644	editdlrm
ftrans.awk	315	0644	editdlrm
getopt.awk	2202	0644	editdlrm
gettime.awk	2491	0644	editdlrm
group.awk	1765	0644	editdlrm
have_mpfr.awk	221	0644	editdlrm
inplace.awk	1996	0644	editdlrm
intdiv0.awk	462	0644	editdlrm
join.awk	378	0644	editdlrm
libintl.awk	238	0644	editdlrm
noassign.awk	422	0644	editdlrm
ord.awk	937	0644	editdlrm
passwd.awk	1199	0644	editdlrm
processarray.awk	355	0644	editdlrm
quicksort.awk	1031	0644	editdlrm
readable.awk	489	0644	editdlrm
readfile.awk	267	0644	editdlrm
rewind.awk	404	0644	editdlrm
round.awk	661	0644	editdlrm
shellquote.awk	472	0644	editdlrm
strtonum.awk	1454	0644	editdlrm
walkarray.awk	214	0644	editdlrm
zerofile.awk	424	0644	editdlrm

# readable.awk --- library file to skip over unreadable files # # Arnold Robbins, arnold@skeeve.com, Public Domain # October 2000 # December 2010 BEGIN { for (i = 1; i < ARGC; i++) { if (ARGV[i] ~ /^[a-zA-Z_][a-zA-Z0-9_]*=.*/ \ || ARGV[i] == "-" || ARGV[i] == "/dev/stdin") continue # assignment or standard input else if ((getline junk < ARGV[i]) < 0) # unreadable delete ARGV[i] else close(ARGV[i]) } }