1#@!#!123s

D7net

Path : /../tmp/../usr/share/python3/debpython/../../python-apt/../java/../python3/../awk/

Filename : 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
}