justinwoo/purescript-resources
1
1
Fork 0
mirror of https://github.com/justinwoo/purescript-resources.git synced 2024-11-25 22:44:50 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1 from metame/patch-1

Browse Source 
Update purs-install.bash
This commit is contained in:
Justin Woo 2018-11-24 23:50:46 +02:00 committed by GitHub
commit 18736bb883
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
purs-install.bash
View File

@ -1,7 +1,7 @@
#!/bin/bash #!/bin/bash
TAG=v0.12.0 TAG=v0.12.1
PSC_PACKAGE_TAG=v0.4.1 PSC_PACKAGE_TAG=v0.4.2
wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
tar -xvf $HOME/purescript.tar.gz -C $HOME/ tar -xvf $HOME/purescript.tar.gz -C $HOME/