version 1.90, 2021/12/19 19:16:55 |
version 1.91, 2021/12/19 20:04:42 |
|
|
|
|
set -A devices -- "$@" |
set -A devices -- "$@" |
|
|
[ "${devices[*]:-}" ] || |
|
set -A devices -- $( devices_needing_firmware ) |
|
|
|
if [ ! "${devices[*]:-}" ]; then |
if [ ! "${devices[*]:-}" ]; then |
echo "No devices found which need firmware files to be downloaded." |
echo -n "Detecting firmware ..." |
exit |
set -A devices -- $( devices_needing_firmware ) |
|
[ "${devices[*]:-}" ] && echo " found." || echo " done." |
fi |
fi |
|
|
|
[ "${devices[*]:-}" ] || exit |
|
|
if "$DOWNLOAD"; then |
if "$DOWNLOAD"; then |
fetch "$CFILE" |
fetch "$CFILE" |