diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/download.sh | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/tools/download.sh b/tools/download.sh deleted file mode 100755 index 1a312ef..0000000 --- a/tools/download.sh +++ /dev/null @@ -1,45 +0,0 @@ -#!/bin/sh - - -set -euf - - -# absolute paths -script="$(realpath $0)" -tools="$(dirname "${script}")" -src="$(dirname "${tools}")" -doc="${src}/doc" - -documents=' -ft232r.pdf https://www.ftdichip.com/old2020/Support/Documents/DataSheets/ICs/DS_FT232R.pdf 9dc583a87fdd8cc20f538197bb4cf807 -' - - -mkdir -pv "$doc" - -echo "$documents" | while read line -do - if [ "$line" == '' ] - then - continue - fi - - name="$(echo "$line" | cut -d$'\t' -f1)" - url="$(echo "$line" | cut -d$'\t' -f2)" - checksum="$(echo "$line" | cut -d$'\t' -f3)" - path="${doc}/${name}" - - if [ ! -f "$path" ] - then - curl "$url" > "$path" - fi - - if [ "${checksum} ${path}" == "$(md5sum "$path")" ] - then - echo "OK ${name}" - else - echo "NOT OK ${name}" - fi -done - -echo "External documentation saved in ${doc}" |