# 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
}
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| assert.awk | File | 383 B | 0644 |
|
| bits2str.awk | File | 330 B | 0644 |
|
| cliff_rand.awk | File | 307 B | 0644 |
|
| ctime.awk | File | 234 B | 0644 |
|
| ftrans.awk | File | 315 B | 0644 |
|
| getopt.awk | File | 2.15 KB | 0644 |
|
| gettime.awk | File | 2.43 KB | 0644 |
|
| group.awk | File | 1.74 KB | 0644 |
|
| inplace.awk | File | 1.04 KB | 0644 |
|
| join.awk | File | 378 B | 0644 |
|
| libintl.awk | File | 238 B | 0644 |
|
| noassign.awk | File | 422 B | 0644 |
|
| ord.awk | File | 937 B | 0644 |
|
| passwd.awk | File | 1.18 KB | 0644 |
|
| processarray.awk | File | 355 B | 0644 |
|
| quicksort.awk | File | 1.01 KB | 0644 |
|
| readable.awk | File | 489 B | 0644 |
|
| readfile.awk | File | 267 B | 0644 |
|
| rewind.awk | File | 404 B | 0644 |
|
| round.awk | File | 661 B | 0644 |
|
| shellquote.awk | File | 472 B | 0644 |
|
| strtonum.awk | File | 1.42 KB | 0644 |
|
| walkarray.awk | File | 214 B | 0644 |
|
| zerofile.awk | File | 424 B | 0644 |
|