diff --git a/script-install-banner b/script-install-banner index 3d15fac2..278f0f91 100644 --- a/script-install-banner +++ b/script-install-banner @@ -20,41 +20,8 @@ else fi cat <<- 'EOF' > "$banner" -#!/usr/bin/env bash -if ! type -t readarray >/dev/null; then - readarray() { - local cmd opt t v=MAPFILE - while [ -n "$1" ]; do - case "$1" in - -h|--help) echo "minimal substitute readarray for older bash"; exit; ;; - -r) shift; opt="$opt -r"; ;; - -t) shift; t=1; ;; - -u) - shift; - if [ -n "$1" ]; then - opt="$opt -u $1"; - shift - fi - ;; - *) - if [[ "$1" =~ ^[A-Za-z_]+$ ]]; then - v="$1" - shift - else - echo -en "${C_BOLD}${C_RED}Error: ${C_RESET}Unknown option: '$1'\n" 1>&2 - exit - fi - ;; - esac - done - cmd="read $opt" - eval "$v=()" - while IFS= eval "$cmd line"; do - line=$(echo "$line" | sed -e "s#\([\"\`]\)#\\\\\1#g" ) - eval "${v}+=(\"$line\")" - done - } -fi +#!/usr/bin/env bash5 + echo -n ' _ _ _ _ _ | | | | | | | | | |