This commit is contained in:
2024-11-18 18:35:59 +08:00
commit f00cf814ce
6488 changed files with 2035373 additions and 0 deletions
+15
View File
@@ -0,0 +1,15 @@
# 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
}