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	3278	0644	editdlrm
gettime.awk	2491	0644	editdlrm
group.awk	1778	0644	editdlrm
have_mpfr.awk	221	0644	editdlrm
inplace.awk	2340	0644	editdlrm
intdiv0.awk	462	0644	editdlrm
join.awk	378	0644	editdlrm
libintl.awk	238	0644	editdlrm
noassign.awk	422	0644	editdlrm
ns_passwd.awk	1282	0644	editdlrm
ord.awk	937	0644	editdlrm
passwd.awk	1212	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

# rewind.awk --- rewind the current file and start over # # Arnold Robbins, arnold@skeeve.com, Public Domain # September 2000 function rewind( i) { # shift remaining arguments up for (i = ARGC; i > ARGIND; i--) ARGV[i] = ARGV[i-1] # make sure gawk knows to keep going ARGC++ # make current file next to get done ARGV[ARGIND+1] = FILENAME # do it nextfile }