codekingpro/portable-devtools
114k
1# readfile.awk --- read an entire file at once2#3# This file and how to use it are described in the manual.4# Therefore, we respectfully advise you to Read The Fine Manual5# for more information.6#7# Original idea by Denis Shirokov, cosmogen@gmail.com, April 20138 9function readfile(file, tmp, save_rs)10{11 save_rs = RS12 RS = "^$"13 getline tmp < file14 close(file)15 RS = save_rs16 17 return tmp18}19 