File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed
Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,9 @@ node_js: stable
55env :
66 - PATH=$HOME/purescript:$PATH
77install :
8- # - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
8+ # - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
9+ - TAG=v0.14.0-rc3
10+ - curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
911 - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
1012 - tar -xvf $HOME/purescript.tar.gz -C $HOME/
1113 - chmod a+x $HOME/purescript
You can’t perform that action at this time.
0 commit comments