/
/
usr
/
share
/
awk
Server: in-mum-web1112.main-hosting.eu (62.72.28.111)
You: 216.73.216.63
PHP 8.3.16
Dir:
/usr/share/awk
Edit:
/usr/share/awk/readfile.awk
# 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 }
Ukuran: 267 B