scripts/toolchain-config.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Nov 16 17:49:15 2010 +0100 (2010-11-16)
changeset 2204 ea1c9143e1e3
parent 1098 035f231898cc
child 2614 814ea73df7e0
permissions -rw-r--r--
scripts: call curl and wget in sequence

It can happen, in some circumpstances, than one can succeed where
the other would fail. Those cases involves convoluted enterprise
networks with proxies playing tricks.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
yann@894
     1
#!/bin/sh
yann@894
     2
yann@894
     3
SKIP_ME="### CT_NG SKIP ME ###"
yann@1189
     4
skip_me=$(($(cat "${0}" |@@grep@@ --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))
yann@894
     5
dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat
yann@894
     6
exit 0
yann@894
     7
yann@894
     8
### CT_NG SKIP ME ###