I\'d like to execute an gawk script with --re-interval using a shebang. The \"naive\" approach of
--re-interval
#!/usr/bin/gawk --re-interval -f ... awk scri
#!/bin/sh ''':' exec YourProg -some_options "$0" "$@" '''
The above shell shebang trick is more portable than /usr/bin/env.
/usr/bin/env