File Explorer

/proc/4/root/proc/thread-self/root/usr/share/gawk

This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.

0 dirs
27 files
readfile.awk267 B · 16 lines
# 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}