🔐 Sid Gifari File Manager Pro
v8.0.5 | 2026-06-14 04:45:59 | PHP 8.1.34
📂
/ (Root)
/
usr
/
share
/
awk
📍 /usr/share/awk
🔄 Refresh
✏️
Editing: rewind.awk
Read Only
# 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 }
💾 Save Changes
❌ Cancel