| version 1.91, 2021/12/19 20:04:42 | version 1.94, 2021/12/21 02:16:01 | 
|  |  | 
| } | } | 
|  |  | 
| fetch() { | fetch() { | 
| local _src="${FWURL}/${1##*/}" _dst=$1 _user=_file _pid _exit | local _src="${FWURL}/${1##*/}" _dst=$1 _user=_file _pid _exit _error='' | 
|  |  | 
| # If we're not in the installer, | # If we're not in the installer, | 
| # we have su(1) and doas(1) is unlikely to be configured. | # we have su(1) and doas(1) is unlikely to be configured. | 
|  |  | 
| sleep 1 | sleep 1 | 
| else | else | 
| kill -INT -"$_pid" | kill -INT -"$_pid" | 
| echo "fetch timed out" >&2 | _error=" (timed out)" | 
| fi | fi | 
| else | else | 
| sleep 1 | sleep 1 | 
|  |  | 
|  |  | 
| if [ "$_exit" -ne 0 ]; then | if [ "$_exit" -ne 0 ]; then | 
| rm -f "$_dst" | rm -f "$_dst" | 
| echo "Cannot fetch $_src" >&2 | echo "Cannot fetch $_src$_error" >&2 | 
| return 1 | return 1 | 
| fi | fi | 
| } | } | 
|  |  | 
| } | } | 
|  |  | 
| usage() { | usage() { | 
| echo "usage: fw_install [-D | -L] [driver | file ...]" | echo "usage:  ${0##*/} [-D | -L] [driver | file ...]" | 
| exit 2 | exit 2 | 
| } | } | 
|  |  | 
|  |  | 
| fi | fi | 
|  |  | 
| CFILE="$LOCALSRC/$CFILE" | CFILE="$LOCALSRC/$CFILE" | 
|  |  | 
|  | if "$INSTALL" && [ -x /usr/bin/id ] && [ $(/usr/bin/id -u) != 0 ]; then | 
|  | echo "need root privileges" >&2 | 
|  | exit 1 | 
|  | fi | 
|  |  | 
| set -A devices -- "$@" | set -A devices -- "$@" | 
|  |  |