File Explorer

/proc/self/task/7/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
zerofile.awk424 B · 20 lines
# zerofile.awk --- library file to process empty input files## Arnold Robbins, arnold@skeeve.com, Public Domain# June 2003 BEGIN { Argind = 0 } ARGIND > Argind + 1 {    for (Argind++; Argind < ARGIND; Argind++)        zerofile(ARGV[Argind], Argind)} ARGIND != Argind { Argind = ARGIND } END {    if (ARGIND > Argind)        for (Argind++; Argind <= ARGIND; Argind++)            zerofile(ARGV[Argind], Argind)}