Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for flush (0.42 sec)

  1. bin/retry.sh

      while true; do
        unset SHELL # Don't let environment control which shell to use
        if isatty; then
          if [ "$(uname)" == "Darwin" ]; then
            script -q -r "${tmpFile}" "${*}"
          else
            script --flush --quiet --return "${tmpFile}" --command "${*}"
          fi
        else
          # if we aren't a TTY, run directly as script will always run with a tty, which may output content that
          # we cannot display
    Shell Script
    - Registered: Wed May 01 22:53:12 GMT 2024
    - Last Modified: Fri Jun 11 16:08:08 GMT 2021
    - 2K bytes
    - Viewed (0)
Back to top