# readfile.awk --- read an entire file at once
#
# Original idea by Denis Shirokov, cosmogen@gmail.com, April 2013
#
function readfile(file, tmp, save_rs)
{
save_rs = RS
RS = "^$"
getline tmp < file
close(file)
RS = save_rs
return tmp
}
| 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 |
|