File Explorer

/proc/thread-self/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 /.

rewind.awk404 B · 21 lines
# rewind.awk --- rewind the current file and start over## Arnold Robbins, arnold@skeeve.com, Public Domain# September 2000 function rewind(    i){    # shift remaining arguments up    for (i = ARGC; i > ARGIND; i--)        ARGV[i] = ARGV[i-1]     # make sure gawk knows to keep going    ARGC++     # make current file next to get done    ARGV[ARGIND+1] = FILENAME     # do it    nextfile}