$ curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -x
+ set -u
+ ELAN_UPDATE_ROOT=https://github.com/leanprover/elan/releases
+ main
+ need_cmd curl
+ check_cmd curl
+ command -v curl
+ return 0
+ need_cmd awk
+ check_cmd awk
+ command -v awk
+ return 0
+ need_cmd uname
+ check_cmd uname
+ command -v uname
+ return 0
+ need_cmd mktemp
+ check_cmd mktemp
+ command -v mktemp
+ return 0
+ need_cmd chmod
+ check_cmd chmod
+ command -v chmod
+ return 0
+ need_cmd mkdir
+ check_cmd mkdir
+ command -v mkdir
+ return 0
+ need_cmd rm
+ check_cmd rm
+ command -v rm
+ return 0
+ need_cmd rmdir
+ check_cmd rmdir
+ command -v rmdir
+ return 0
+ get_architecture
++ uname -s
+ local _ostype=MINGW64_NT-10.0-18363
++ uname -m
+ local _cputype=x86_64
+ '[' MINGW64_NT-10.0-18363 = Linux ']'
+ '[' MINGW64_NT-10.0-18363 = Darwin -a x86_64 = i386 ']'
+ case "$_ostype" in
+ local _ostype=pc-windows-msvc
+ case "$_cputype" in
+ local _cputype=x86_64
+ '[' pc-windows-msvc = unknown-linux-gnu -a x86_64 = x86_64 ']'
+ '[' pc-windows-msvc = unknown-linux-gnueabihf -a x86_64 = armv7 ']'
+ local _arch=x86_64-pc-windows-msvc
+ RETVAL=x86_64-pc-windows-msvc
+ local _arch=x86_64-pc-windows-msvc
+ assert_nz x86_64-pc-windows-msvc arch
+ '[' -z x86_64-pc-windows-msvc ']'
+ local _ext=
+ case "$_arch" in
+ _ext=.exe
++ mktemp -d
+ local _dir=/tmp/tmp.f1p4T09VWq
+ local _file=/tmp/tmp.f1p4T09VWq/elan-init.exe
+ local _ansi_escapes_are_valid=false
+ '[' -t 2 ']'
+ '[' set = set ']'
+ case "$TERM" in
+ _ansi_escapes_are_valid=true
+ local need_tty=yes
+ true
+ printf '\33[1minfo:\33[0m downloading installer\n'
info: downloading installer
+ ensure mkdir -p /tmp/tmp.f1p4T09VWq
+ mkdir -p /tmp/tmp.f1p4T09VWq
+ need_ok 'command failed: mkdir -p /tmp/tmp.f1p4T09VWq'
+ '[' 0 '!=' 0 ']'
++ ensure curl -sSfL -o /dev/null -w '%{url_effective}' https://github.com/leanprover/elan/releases/latest
++ curl -sSfL -o /dev/null -w '%{url_effective}' https://github.com/leanprover/elan/releases/latest
++ cut '-d"' -f2
++ awk -F/ '{print $NF}'
++ need_ok 'command failed: curl -sSfL -o /dev/null -w %{url_effective} https://github.com/leanprover/elan/releases/latest'
++ '[' 0 '!=' 0 ']'
+ local _latest=v1.4.5
+ case "$_arch" in
+ ensure curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.5/elan-x86_64-pc-windows-msvc.zip
+ curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.5/elan-x86_64-pc-windows-msvc.zip
+ need_ok 'command failed: curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.5/elan-x86_64-pc-windows-msvc.zip'
+ '[' 0 '!=' 0 ']'
+ cd /tmp/tmp.f1p4T09VWq
+ ensure unzip elan-init.zip
+ unzip elan-init.zip
Archive:  elan-init.zip
  inflating: elan-init.exe
+ need_ok 'command failed: unzip elan-init.zip'
+ '[' 0 '!=' 0 ']'
+ ignore rm elan-init.zip
+ rm elan-init.zip
+ ensure chmod u+x /tmp/tmp.f1p4T09VWq/elan-init.exe
+ chmod u+x /tmp/tmp.f1p4T09VWq/elan-init.exe
+ need_ok 'command failed: chmod u+x /tmp/tmp.f1p4T09VWq/elan-init.exe'
+ '[' 0 '!=' 0 ']'
+ '[' '!' -x /tmp/tmp.f1p4T09VWq/elan-init.exe ']'
+ '[' yes = yes ']'
+ '[' '!' -t 1 ']'
+ ignore /tmp/tmp.f1p4T09VWq/elan-init.exe
+ /tmp/tmp.f1p4T09VWq/elan-init.exe
+ local _retval=127
+ ignore rm /tmp/tmp.f1p4T09VWq/elan-init.exe
+ rm /tmp/tmp.f1p4T09VWq/elan-init.exe
+ ignore rmdir /tmp/tmp.f1p4T09VWq
+ rmdir /tmp/tmp.f1p4T09VWq
+ return 127
+ exit 1